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.

-- 
http://rrt.sc3d.org