Subject: Re: bug#23297: [PATCH] Add HTML5 tags to HTML mode
From: Simen Heggestøyl <[email-masked]>
To: Stefan Monnier <[email-masked]>
Cc: [email-masked]
Date: Sun, 17 Apr 2016 19:40:55 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

On Fri, Apr 15, 2016 at 9:30 PM, Stefan Monnier 
<[email-masked]> 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