2012/5/7 Ole Tange <ta...@gnu.org>: > But if --tollef proves to give me > more support work it might be preferable to retire that option.
You could try announcing it deprecated in the next release and put a termination date on it. Then ppl will have to come with a reason for letting it be. /hans -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org