tree 033ce9572fb3a41768aaa73b81e1a0b0002754b4
parent 8493437db14ddab2f52ebc208985156f33efe31a
author Nils Diewald <nils@diewald-online.de> 1400692190 +0000
committer Nils Diewald <nils@diewald-online.de> 1400692190 +0000

Minor bugfix for serialized contexts