diff options
| author | Pierre-Marie Pédrot | 2020-05-09 15:52:47 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-14 12:38:08 +0200 |
| commit | 2e53445be16ef28058599fed3f06424db17f6943 (patch) | |
| tree | 380085a26541ceb5b79d6a48543362e6a0793715 /plugins | |
| parent | 3af3409a8ec23deb3e0d32f00a31363a36f6209b (diff) | |
Add test for #11727, which was indirectly fixed by this PR.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions