Sat, 11 Aug 2012 17:24:21 +0200 | wenzelm | clarified "bad" markup: proper body text, invent missing serial on Scala side (counting backwards); | changeset | files |
Sat, 11 Aug 2012 17:23:09 +0200 | wenzelm | reports with body text, not just markup; | changeset | files |