<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 01/04/2015 08:37 PM, Karl Kleinpaste
wrote:<br>
</div>
<blockquote cite="mid:54A9EAE5.5010800@kleinpaste.org" type="cite"><font
face="FreeSerif">erroneously mis-closed with </span>.</font></blockquote>
<font face="FreeSerif">I committed a fix already. A "type" was
mis-compared against "sup" instead of "super" when deciding how to
generate the closing tag.</font><br>
</body>
</html>