Michael's parenthetical aside is bug 4595, but the main problem -- linking Debian bug reports correctly -- is not a duplicate.
Michael's parenthetical aside is bug 4595, but the main problem -- linking Debian bug reports correctly -- is not a duplicate.