Ubuntu
yelp package

  1. Bug #726439
  2. Comment #11

Comment 11 for bug 726439

Revision history for this message
Norbert (nrbrtx) wrote :

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.