Re: [O] [PATCH] Only use HTML5 fancy elements in HTML5

[Bastien]

Hi Eric,

Eric Abrahamsen <e...@ericabrahamsen.net> writes:

> Here's another patch with a new function.

Applied, thanks.

-- 
 Bastien