Mark Andrews 54e5fb53e3 Add release note for #1718 ...

(cherry picked from commit 2f9d6d4f7eb624986db914a2825bbcc4e6d378b1)

2020-06-18 10:18:42 +02: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 #1718

2020-06-18 10:18:42 +02:00