{"push_id":3095893058,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"26c93f3d8896a89e306997dc3554f8097bef87d7","before":"f374a1376376f226c420b7d4e985cc183c1fe452","commits":[{"sha":"26c93f3d8896a89e306997dc3554f8097bef87d7","author":{"name":"Maurice Laveaux","email":"3bccfd70f12f27573a06918817ca08bcc4683404@tue.nl"},"message":"[mcrl2ide] Applied workaround for QTBUG-65592.","distinct":true,"url":"https://api.github.com/repos/mCRL2org/mCRL2/commits/26c93f3d8896a89e306997dc3554f8097bef87d7"}]}
{"actor":{"display_login":"mlaveaux"}}