Thanks Adrien and Mike! On Fri, May 17, 2013 at 6:49 AM, Michael McCandless <[email protected]> wrote: > 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] >
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
