Ubuntu
gnome-user-docs package

  1. Bug #1772104
  2. Comment #1

Comment 1 for bug 1772104

Revision history for this message
Gunnar Hjalmarsson (gunnarhj) wrote :

Thanks for your report!

I filed this merge request for upstream GNOME Help:

https://gitlab.gnome.org/GNOME/gnome-user-docs/merge_requests/7/diffs?commit_id=d81692fb