Re: halt with optional message?

[bearophile]

Sean Kelly:

> The current switch name really has to be changed to

Lately Walter seems to appreciate pull requests a lot. So is someone willing to 
write such patch (it doesn't look too much complex to do)?

Bye,
bearophile