tree 4952e3ccc7b560bde1e6eb10dde920db6642f6db
parent 6bef527f9dbf470bc78655a8311c20c1508db7ec
author Christoph Hertzberg <chtz@informatik.uni-bremen.de> 1381856949 +0200
committer Christoph Hertzberg <chtz@informatik.uni-bremen.de> 1381856949 +0200

Fix bug #679