Ondřej Surý bee9ed84f4 Update release note for #1877

2020-06-04 14:06:30 +02:00

..

notes-9.17.0.rst

…

notes-9.17.1.rst

…

notes-current.rst

Update release note for #1877

2020-06-04 14:06:30 +02:00