{"push_id":1364529586,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c74c219b981dc54d67f4e6a24bd1c6e8ca9cc02b","before":"c533f8df4f90124d864d94d1ad0cb05c84f95e8b","commits":[{"sha":"c74c219b981dc54d67f4e6a24bd1c6e8ca9cc02b","author":{"name":"Maël Valais","email":"8c39d262438418f42bb635090d11b91c4f668a76@gmail.com"},"message":"Under cygwin + i686-w64-mingw32-gcc, the typedef of uint64 was wrong\n\nIn this fix, I check that uint64 hasn't been defined yet using the\nARCH_UINT64_TYPE flag.","distinct":true,"url":"https://api.github.com/repos/maelvalais/ocaml-minisat/commits/c74c219b981dc54d67f4e6a24bd1c6e8ca9cc02b"}]}
{"actor":{"display_login":"maelvalais"}}