


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






severity=minor






status=open






summary=New Datatype: dict






time=Sat, 21 Jan 2012 10:22:01 +0000



