On Wed, 13 Mar 2019 23:37:39 +0900 Masami Hiramatsu <mhiramat@xxxxxxxxxx> wrote: > > So now 'p1:..." will error out and not just be ignored? > > Yes, I think it is better to tell user "your command has a > meaningless option, maybe you made a mistake" than ignore that. > OK, just making sure. Hope nobody complains about it ;-) Are these OK to add for the next merge window, or do you want them in now? I could probably get them ready for -rc1. -- Steve