Iustin Pop Mon, 04 Feb 2013 07:34:04 -0800
On Mon, Feb 04, 2013 at 04:29:47PM +0100, Michael Hanselmann wrote: > It is only used in one place and not necessary.
LGTM.