{"push_id":1382819378,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"559c970ef796b4d686b2179507ab0b42987f62d6","before":"9ea91f2dd2c59b8355cdb03440e57c82aebabc76","commits":[{"sha":"559c970ef796b4d686b2179507ab0b42987f62d6","author":{"name":"Joachim Klein","email":"1a039d23876a9b00ccba0bf0a6b4bb4e0f17f24a@tcs.inf.tu-dresden.de"},"message":"NativeIntArray.cc: use ptr_to_jlong instead of a simple (long) cast\n\nOn Win64 long is 32bit.\n\n\ngit-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11878 bbc10eb1-c90d-0410-af57-cb519fbb1720","distinct":true,"url":"https://api.github.com/repos/prismmodelchecker/prism-svn/commits/559c970ef796b4d686b2179507ab0b42987f62d6"}]}
{"actor":{"display_login":"davexparker"}}