{"push_id":595301497,"size":1,"distinct_size":1,"ref":"refs/heads/find_segfault","head":"e9825de4d7b05d610ba86d7de4f997ec0fdbe319","before":"aa4521185630f68e4f48e4519c203dedb3c0c3f3","commits":[{"sha":"e9825de4d7b05d610ba86d7de4f997ec0fdbe319","author":{"email":"6dce4c86562bae3e1828fa48a4e6b1825cd39885@googlemail.com","name":"Tobias Leibner"},"message":"this reproduces the segfault with current gdt/hyperbolic and stuff/master","distinct":true,"url":"https://api.github.com/repos/tobiasleibner/dune-hdd/commits/e9825de4d7b05d610ba86d7de4f997ec0fdbe319"}]}