diff options
| author | Théo Zimmermann | 2018-11-06 14:07:57 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-06 14:07:57 +0100 |
| commit | 11879733b7f2d2554bcfc7a851479ec8adc3e97e (patch) | |
| tree | 2800a5fc49e75c4232d4c0bb4d1abee05dd00d99 /dev/ci/docker | |
| parent | f086374af55037f9a977258652b69ab7511401a4 (diff) | |
| parent | 0f03707044822631160d516d65a80fc4bc45d104 (diff) | |
Merge PR #8884: Improve rendering of the credits.
Diffstat (limited to 'dev/ci/docker')
0 files changed, 0 insertions, 0 deletions