Subject: Re: bug#13566: Commit made

From: Stefan Monnier <[email-masked]>
Date: Thu, 17 Oct 2013 22:57:38 -0400

> I'm not sure what happened, but my commit did not seem to stick.

What makes you think so?
What command have you executed, what results did you get?
You know, the usual bug-report routine,

        Stefan