{"push_id":631871274,"size":1,"distinct_size":1,"ref":"refs/heads/feature/FS1611-backport-pthread-support","head":"34d4a451e981fb23179aca189900eef1ad0971a0","before":"eba3d24fbb2a55674252d95347725879e90f93c3","commits":[{"sha":"34d4a451e981fb23179aca189900eef1ad0971a0","author":{"email":"6a295c5c718ff8da98c63729c6286959631fa8ab@gmail.com","name":"Dominic Kempf"},"message":"Set the flag THREADS_PREFER_PTHREAD_FLAG\n\n...unless specificially set to false by the user.","distinct":true,"url":"https://api.github.com/repos/dune-project/dune-common/commits/34d4a451e981fb23179aca189900eef1ad0971a0"}]}