bug#23297: [PATCH] Add HTML5 tags to HTML mode

[Simen Heggestøyl]

On Fri, Apr 15, 2016 at 9:30 PM, Stefan Monnier <monnier@iro.umontreal.ca> wrote:

Looks fine to me.

Thanks, installed in master.

It'd be great to extract that from the relaxng compact schema, tho (i.e. use nxml).

I don't understand what that means. Could you elaborate?

-- Simen