diff options
| author | Clément Pit-Claudel | 2019-04-02 16:43:45 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-04-02 16:43:45 -0400 |
| commit | a675df0fc21ce00f120046619751656eabcdbaed (patch) | |
| tree | 89d10c5d3d4cbdfdb9ce59ac2e401a89aff56dbe /dev/ci | |
| parent | 97edaec1d6df277da0e44d9b99abc2fdd309bfd6 (diff) | |
| parent | bdff9abf73327a2a69c00e9443e9e4fb24d6b6d4 (diff) | |
Merge PR #9668: Consolidate credits and changelog information in a single place.
Reviewed-by: cpitclaudel
Reviewed-by: vbgl
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions