Subject: Re: bug#23134: [PATCH] Add HTML4 tags to HTML mode
From: Simen Heggestøyl <[email-masked]>
To: Stefan Monnier <[email-masked]>
Cc: [email-masked]
Date: Wed, 30 Mar 2016 18:43:20 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

On Mon, Mar 28, 2016 at 5:10 PM, Stefan Monnier 
<[email-masked]> wrote:
> Looks great, thanks.

Installed in master. Thanks for reviewing, Stefan.

-- Simen