{"push_id":1119700512,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"59f106e712e0f5a8413e1788c89058d110c6a145","before":"98064f098e6871382614fcf3c99520f7a526af0a","commits":[{"sha":"59f106e712e0f5a8413e1788c89058d110c6a145","author":{"email":"d45897c751f612ca1efdd8c2202348d76455295a@gmail.com","name":"Arno Tiemersma"},"message":"Add word boundaries in minizinc-operators\n\nThis fixes some highlighting of operators within comments.","distinct":true,"url":"https://api.github.com/repos/Arnot/minizinc-mode/commits/59f106e712e0f5a8413e1788c89058d110c6a145"}]}