Comment 2 for bug 153018

Revision history for this message
Martin Emrich (emme) wrote :

Yes. I just "apt-get source"d the current package, and the script still contains the wrong option name.