{"push_id":579030528,"size":1,"distinct_size":1,"ref":"refs/heads/issue1411","head":"69e5264276b3116699476ec9893af689850b761a","before":"00ba82ffe8405767230c32b58e1081d7c95ab5d1","commits":[{"sha":"69e5264276b3116699476ec9893af689850b761a","author":{"email":"ca884ed0f567bf5b3d4af1409f05acf14aeee32b@genode-labs.com","name":"Christian Prochaska"},"message":"Fixup for 'vbox: improve virtual time accuracy'\n\nUse 'double' instead of 'uint128_t'.\n\nIssue #1411","distinct":true,"url":"https://api.github.com/repos/cproc/genode/commits/69e5264276b3116699476ec9893af689850b761a"}]}