


creator=Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de>






severity=minor






status=closed






summary=Factor out event-log






time=Sat, 21 Jan 2012 15:16:06 +0000



