Sun Nov 13 11:07:41 UTC 2011  pinterface <pix@kepibu.org>
  * minidom chokes on form feed character
diff -rN -u old-darcsweb/darcsweb.cgi new-darcsweb/darcsweb.cgi
--- old-darcsweb/darcsweb.cgi	2016-01-01 16:25:19.000000000 +0000
+++ new-darcsweb/darcsweb.cgi	2016-01-01 16:25:19.000000000 +0000
@@ -999,7 +999,7 @@
 	# minidom know the source encoding
 	s = ""
 	for i in src:
-		s += fixu8(i)
+		s += fixu8(i).replace('', '^L')
 
 	dom = xml.dom.minidom.parseString(s)