Ondřej Surý 5a9f594629 Add release note for #1808

2020-06-05 16:06:42 +02:00

..

notes-9.17.0.rst

…

notes-9.17.1.rst

…

notes-current.rst

Add release note for #1808

2020-06-05 16:06:42 +02:00