{"push_id":1422704658,"size":1,"distinct_size":1,"ref":"refs/heads/Spatial_searching-misc-glisse","head":"f7741b1f2b612775ac31a0b38ae237f13ceeeddd","before":"7bdb83a4e1a4fde25d5131fead71ca316afad01a","commits":[{"sha":"f7741b1f2b612775ac31a0b38ae237f13ceeeddd","author":{"name":"Marc Glisse","email":"fa516274b610dd5d0d45704ea7ad5fd48f441c88@inria.fr"},"message":"Confusion between the 2 islower flags. Ordering issue on setting / clearing removed_ flag.","distinct":true,"url":"https://api.github.com/repos/CGAL/cgal-public-dev/commits/f7741b1f2b612775ac31a0b38ae237f13ceeeddd"}]}
{"actor":{"display_login":"mglisse"}}