"Roberto C. Sánchez" <roberto@debian.org> writes: > The severity of the problem seems to be not that high, and the bug > report is nearly six months with practically no response from upstream. > It might be best to clean up the patch, post it to BugZilla and give it > some time for others to comment. Ok, thanks for your comments. I will do this. -- Brian May <bam@debian.org>