On 18 October 2013 03:57, Stefan Monnier <monnier@iro.umontreal.ca> wrote:

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

What makes you think so?

It did not appear on Savannah.

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

I did not attempt to report a bug, since instead I redid the process. I'm sure I did something wrong, and there was no bug.