Ubuntu
devhelp package

  1. Bug #1402871
  2. Comment #2

Comment 2 for bug 1402871

Revision history for this message
Hans Deragon (deragon) wrote :

Upstream bug: https://bugzilla.gnome.org/show_bug.cgi?id=741622 (for some reason, I fail to find a way to had this URL to the header of this bug).