{"push_id":623071436,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"5160474f504bef3a73ee3fc05491f63e3de0a461","before":"2fc8c3690d3212d2c2e18d6d001c42269b7200de","commits":[{"sha":"a8462be8cf80d59d5b5c26c854e0bd925a9a57ff","author":{"email":"742a110536ea7842e2b9263682488e2f32e4a128@coverity.com","name":"Scott McPeak"},"message":"added custom line width, bumped version to 12\nnote: UtilTests is failing on Windows, I think it was before","distinct":true,"url":"https://api.github.com/repos/smcpeak/ded/commits/a8462be8cf80d59d5b5c26c854e0bd925a9a57ff"},{"sha":"c37c3ec400a07738bed27c634802c5b971b9576e","author":{"email":"742a110536ea7842e2b9263682488e2f32e4a128@coverity.com","name":"Scott McPeak"},"message":"fix util.UtilTests on Windows; problem with File.separator\nnote: I used a hack due to lack of javadoc access here,\nshould fix later...","distinct":true,"url":"https://api.github.com/repos/smcpeak/ded/commits/c37c3ec400a07738bed27c634802c5b971b9576e"},{"sha":"c578bc23bab6af3cc959549e3866964141312d6b","author":{"email":"742a110536ea7842e2b9263682488e2f32e4a128@coverity.com","name":"Scott McPeak"},"message":"Merge with d-linux64-03:wrk/ded, which also had v12!  bump to v13\n\nd-linux64-03:wrk/ded added line width, and had called that v12.\nMy local changes added anchor name, and called it v12 as well.\nThis merge renumbers the line width feature as v13.  The code\nthat reads line width does not check the actual version\nnumber so this works ok.\n\nConflicts:\n\tsrc/ded/ui/RelationDialog.java\n\ttests/test.ded.png\n\ttests/v12.ded","distinct":true,"url":"https://api.github.com/repos/smcpeak/ded/commits/c578bc23bab6af3cc959549e3866964141312d6b"},{"sha":"5160474f504bef3a73ee3fc05491f63e3de0a461","author":{"email":"742a110536ea7842e2b9263682488e2f32e4a128@coverity.com","name":"Scott McPeak"},"message":"bug fix: anchor name was not preserved by copy+paste","distinct":true,"url":"https://api.github.com/repos/smcpeak/ded/commits/5160474f504bef3a73ee3fc05491f63e3de0a461"}]}