tree 9027e51a164386c13a64033badb2ed616643c61c
parent e35f862fb97c106888bc5a8a25782aa9432cfdc6
author Nils Diewald <nils@diewald-online.de> 1386780028 +0000
committer Nils Diewald <nils@diewald-online.de> 1386780028 +0000

Minor changes after Poznan (with a broken test)