This bug was fixed in the package gnome-user-docs - 3.32.0+git20190406-0ubuntu1
--------------- gnome-user-docs (3.32.0+git20190406-0ubuntu1) disco; urgency=low
* Latest upstream git (LP: #1823731).
-- Gunnar Hjalmarsson <email address hidden> Mon, 08 Apr 2019 17:00:00 +0200
This bug was fixed in the package gnome-user-docs - 3.32.0+ git20190406- 0ubuntu1
--------------- git20190406- 0ubuntu1) disco; urgency=low
gnome-user-docs (3.32.0+
* Latest upstream git (LP: #1823731).
-- Gunnar Hjalmarsson <email address hidden> Mon, 08 Apr 2019 17:00:00 +0200