Oct. 29, 2012
8:08 p.m.
Hi! I just pulled some change to make <pre> work. Please test it again, even things which have worked recently, so that we can be sure that nothing is broken again. Sebastian