On Wed, Oct 17, 2012 at 05:33:50PM +0200, Michael Hanselmann wrote: > No string replacements are used, so doubling of the percent sign is not > necessary.
LGTM.
On Wed, Oct 17, 2012 at 05:33:50PM +0200, Michael Hanselmann wrote: > No string replacements are used, so doubling of the percent sign is not > necessary.
LGTM.