diff options
| author | Théo Zimmermann | 2020-06-09 12:40:32 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-09 12:40:32 +0200 |
| commit | 10e126ba3232dac847ce5c7a62ff97d9ddfaa620 (patch) | |
| tree | 3813c3716423d2f681bacc57b94045bca29f7538 /dev/ci | |
| parent | 2e85a6b4acf419064f8a979d254a7b1d871c81c2 (diff) | |
| parent | 4167ef602f8a0832d7174e0f6ced348362e37fb4 (diff) | |
Merge PR #12462: Summary of changes for 8.12
Reviewed-by: Zimmi48
Ack-by: gares
Ack-by: jfehrle
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions