diff options
| author | coqbot-app[bot] | 2020-12-04 17:31:28 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-04 17:31:28 +0000 |
| commit | 751afe3f52e52f14cf0972498d84722519dd91e7 (patch) | |
| tree | 86e38be6578608ee79bbf24f37ae5cdabcafe9f0 /plugins | |
| parent | 4d21a082f4bc1a2a98328abc545a22f448affdf4 (diff) | |
| parent | ffc0f5992e21a9dab5bead467cb41bbcc7face01 (diff) | |
Merge PR #13569: typo
Reviewed-by: jfehrle
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions