2012/5/7 Ole Tange <[email protected]>: > 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
