On Tue, 28 Feb 2017, Martin Liška wrote:

> Hello.
> 
> This is second patch, where I add '=<number>' for some of options.

OK.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to