From: Johannes Schindelin Date: Mon, 14 Dec 2009 14:17:29 GMT Subject: Re: [PATCH] help.autocorrect: do not run a command if the command given is junk Message-ID: In-Reply-To: <81b0412b0912140529w4a15418ewf304b9d6f4c1f007@mail.gmail.com> Hi, On Mon, 14 Dec 2009, Alex Riesen wrote: > I don't use autocorrect myself apart from the testing. I assume Johannes > doesn't, too As a matter of fact, I do. But my common mistakes are not in forgetting the subcommand, rather in mispelign them. So I never hit the problem. Ciao, Dscho