=== zkriesse_ is now known as zkriesse
mdkeissyl0: our processing tools deal with this automatically - I think that one space is introduced regardless of how many spaces are actually used in the document11:38
=== peppe84_ is now known as peppe84
issyl0mdke: ah, right, that makes sense.  Thanks!12:07
=== czajkows1i is now known as czajkowski

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!