diff options
| author | coqbot-app[bot] | 2020-11-05 17:47:13 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-05 17:47:13 +0000 |
| commit | d276a494d29ea69c6a60b16da5dddb9d39f287ca (patch) | |
| tree | 7503ed67536cdbfa70e3cbc6abfd8c11ca660df9 /plugins | |
| parent | afc828b3e207dd39c59d1501d570a88b2012fd2c (diff) | |
| parent | a6b5a5a66b59750148ead34148cfefd1702a64e0 (diff) | |
Merge PR #13311: Changelog for 8.12.1.
Reviewed-by: ejgallego
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions