Ondřej Surý 710c2dc654 Add release note for #1808 ...

(cherry picked from commit 5a9f594629)

2020-06-05 18:58:13 -07: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 note for #1808

2020-06-05 18:58:13 -07:00