tree c785672b81c030a593ce6253637fcc32ede3fb7c
parent c20d7a5c3bae648cc9394f9d8eca15e6e53eb288
author Phillip Berndt <phillip.berndt@googlemail.com> 1491144203 +0200
committer Phillip Berndt <phillip.berndt@googlemail.com> 1491145430 +0200

Add test for #870