Bug#1017 has long disappeared

[Michael Meskes <meskes@Informatik.RWTH-Aachen.DE>]

This bug seems to be gone for good. The rc file already makes the necessary
check. It seems someone already fixed the bug but did not close it, so I do
it now.

BTW which servers serves the bug lists, pixar.com or lists.debian.org?

Michael
-- 
Michael Meskes                   |    _____ ________ __  ____
                                 |   / ___// ____/ // / / __ \___  __________
meskes@informatik.rwth-aachen.de |   \__ \/ /_  / // /_/ /_/ / _ \/ ___/ ___/
                                 |  ___/ / __/ /__  __/\__, /  __/ /  (__  )
Use Debian Linux!		 | /____/_/      /_/  /____/\___/_/  /____/