{"shas":[["8259e6682f06143f31049aaf28489278202fb269","b70482a9c35b236639019cd8b2ecb03a9ee7db09@sebastian-bergmann.de","Closes #15.","Sebastian Bergmann"]],"ref":"refs/heads/master","size":1,"head":"8259e6682f06143f31049aaf28489278202fb269","push_id":42680842}