Ubuntu
apt package

  1. Bug #194281
  2. Comment #3

Comment 3 for bug 194281

Revision history for this message
Michael Vogt (mvo) wrote :

Thanks for your bugreport and the patch!

Sorry for this oversight. This will be fixed in the next upload.