This bug was fixed in the package gnome-user-docs - 3.28.2+git20180715-0ubuntu0.1
--------------- gnome-user-docs (3.28.2+git20180715-0ubuntu0.1) bionic-proposed; urgency=medium
* Latest upstream git (LP: #1781816)
-- Gunnar Hjalmarsson <email address hidden> Sun, 15 Apr 2018 23:49:00 +0200
This bug was fixed in the package gnome-user-docs - 3.28.2+ git20180715- 0ubuntu0. 1
--------------- git20180715- 0ubuntu0. 1) bionic-proposed; urgency=medium
gnome-user-docs (3.28.2+
* Latest upstream git (LP: #1781816)
-- Gunnar Hjalmarsson <email address hidden> Sun, 15 Apr 2018 23:49:00 +0200