Ubuntu
gnome-user-docs package

  1. Bug #1884860
  2. Comment #3

Comment 3 for bug 1884860

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

Thanks for your report! I submitted an upstream merge request:

https://gitlab.gnome.org/GNOME/gnome-user-docs/-/merge_requests/57