There is a ticket already, it seems:https://gitlab.gnome.org/GNOME/yelp/-/issues/154
Oh, thanks, good to know! //Mike -- ⊨ Michael Gratton, Percept Wrangler. ⚙ <http://mjog.vee.net/> _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
