diff options
| author | Théo Zimmermann | 2018-08-30 10:00:21 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-30 10:00:21 +0200 |
| commit | bf1446294dba45d3ea9b7bb39d2fc96617848c03 (patch) | |
| tree | 92ee5252c2eb40179d4f0e6a7544c409169a94a3 /Makefile.dev | |
| parent | bc4611f372a50cae3e2e466bb1caf09bfa659e2e (diff) | |
| parent | 62bed22d2c104da07fc49b9c5f6229afedb92a07 (diff) | |
Merge PR #8354: Move CHANGES entry for #8167 to 8.8.2 section
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions