diff options
| author | Pierre-Marie Pédrot | 2020-01-23 15:55:48 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-23 15:55:48 +0100 |
| commit | 9508ca5b3f4611940be532a7a8d9078e0605a05f (patch) | |
| tree | 69ddd09f726193ef43e6b37edf77258bdc5eb322 /plugins | |
| parent | f199c9f62e17153db1141d88cd6360c131d11e6d (diff) | |
| parent | 1d88962aaaa5f8977bb343b1d01073d65cbb1434 (diff) | |
Merge PR #11444: Minor tweaks to the 8.11 changelog.
Reviewed-by: jfehrle
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions