[PUSHED][PATCH] Incorrect character written out when saved in HTML format

[Caolán McNamara]

On Tue, 2012-05-08 at 14:31 +0100, Michael Meeks wrote:
> 	https://bugs.freedesktop.org/show_bug.cgi?id=38989
> patch:
> 	https://bugs.freedesktop.org/attachment.cgi?id=52063
> 
> 	Review appreciated

Looks good, original code is fairly nonsensical and in since 2000.
Pushed now to master.

caolanm->gordon: can you confirm your patch is under our preferred
LGPLv3+/MPL+ license combination ?

C.