Ping. On 02/05/12 10:49, Andrew Stubbs wrote:
On 19/04/12 13:58, Andrew Stubbs wrote:In the meantime, Mr Maintainers, can I commit my patch while we wait for the new world order? I'm happy to change the option name "quiet" to something else if necessary.Ping. I think David may have a point about 'quiet' being an inappropriate name for this option. He proposed 'ir' which I don't like but will do the job just fine. Ok, with that change? Andrew
