diff options
| author | Maxime Dénès | 2020-02-26 18:16:19 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-02-26 18:16:19 +0100 |
| commit | b0cc8f42df0a2a6acdcaefec9f03477f95e99c2c (patch) | |
| tree | 236d006502e9c9d052bc7630e1626d04994551d6 /plugins | |
| parent | 4b9250db36d568dc6a112711431089f2b638c2a8 (diff) | |
Fix changelog for https://github.com/coq/coq/pull/11686
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions