Bug confirmed on 18.10, so the patch ( https://gitlab.gnome.org/GNOME/yelp/issues/52#note_179024 ) from upstream was not applied to the master branch.
Bug confirmed on 18.10, so the patch ( https:/ /gitlab. gnome.org/ GNOME/yelp/ issues/ 52#note_ 179024 ) from upstream was not applied to the master branch.