This bug was fixed in the package gnome-user-docs - 3.24.2-0ubuntu1
--------------- gnome-user-docs (3.24.2-0ubuntu1) artful; urgency=medium
* New upstream release (LP: #1690609)
-- Tim Lunn <email address hidden> Sun, 14 May 2017 10:10:29 +1000
This bug was fixed in the package gnome-user-docs - 3.24.2-0ubuntu1
---------------
gnome-user-docs (3.24.2-0ubuntu1) artful; urgency=medium
* New upstream release (LP: #1690609)
-- Tim Lunn <email address hidden> Sun, 14 May 2017 10:10:29 +1000