Ubuntu
apt package

  1. Bug #1445239
  2. Comment #24

Comment 24 for bug 1445239

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

Thanks a lot to Anton for the patch and the excellent analysis of the issue!