On Fri, May 17, 2013 at 1:39 AM, Adrien Grand <[email protected]> wrote:

> +1 to fail hard on duplicate anchor names.

I just committed that.

Mike McCandless

http://blog.mikemccandless.com

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to