Ondřej Surý 5e0c510d79 Add release notes for #1877 ...

(cherry picked from commit fc4f3b92ab)

2020-06-03 10:45:09 +00:00

..

notes-9.16.0.rst

…

notes-9.16.1.rst

…

notes-9.16.2.rst

…

notes-9.16.3.rst

…

notes-current.rst

Add release notes for #1877

2020-06-03 10:45:09 +00:00