Originally at 2015-02-24T10:56:26Z by Hannes Hirzel closed at 2015-02-24T11:41:54Z (pull request)
fixes #12
Originally at 2015-02-24T10:56:26Z by Hannes Hirzel closed at 2015-02-24T11:41:54Z (pull request)
fixes #12