GitHub PushEvent at 2014-01-23 13:05:10
Repository: ERTMSFormalSpecs
Actor: LaurentFerier
Payload: {"shas":[["3f7b43edea058f4c6bc5b0ebf1d3035ece9c9711","f1b010126f61b5c59e7d5eb42c5c68f6105c5914@ertmssolutions.com","Bug fix","LaurentFerier",true],["8359df12688118f6d09ddf72b61a26c5c6b6a123","f1b010126f61b5c59e7d5eb42c5c68f6105c5914@ertmssolutions.com","Changed NID_MN, NID_OPERATIONAL and NID_RADIO to a string instead of a number","LaurentFerier",true]],"size":2,"ref":"refs/heads/master","head":"8359df12688118f6d09ddf72b61a26c5c6b6a123"}