subject:"Bug#871335\: marked as done \(smlnj\: FTBFS\: Unescaped left brace in regex is illegal here in regex; marked by <\-\- HERE in m\/\~\?\\\\begin\{ <\-\- HERE \(small\|Bold\|Italics\|Emph\|address\|quotation\|center\|enumerate\|itemize\|description\|boxit\|Boxit\|abstract\|Figure\)\}\/ at mltex2html line 1411, <DOCUMENT> line 1.\)"

No matches were found for subject:"Bug#871335\: marked as done \(smlnj\: FTBFS\: Unescaped left brace in regex is illegal here in regex; marked by <\-\- HERE in m\/\~\?\\\\begin\{ <\-\- HERE \(small\|Bold\|Italics\|Emph\|address\|quotation\|center\|enumerate\|itemize\|description\|boxit\|Boxit\|abstract\|Figure\)\}\/ at mltex2html line 1411, <DOCUMENT> line 1.\)"