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
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