GitHub PushEvent at 2014-09-16 19:21:07
Repository: zplusplus
Actor: klemensschindler
Payload: {"shas":[["c74ef764591c3317c4ed28f181d8d05739df72c2","7ff2727f7faf521cf77dfe20e65aeede78d4ee9c@schindlerweb.net","Updated editors to latest stable mbeddr/MPS.","Klemens Schindler",true],["93f05ff5a4a66b3226b12bdfc15e3e0a15998279","7ff2727f7faf521cf77dfe20e65aeede78d4ee9c@schindlerweb.net","Fixed type error in typesystem code.","Klemens Schindler",true],["7bbc57301a020dc2d080c729e3c79b3575ff600f","7ff2727f7faf521cf77dfe20e65aeede78d4ee9c@schindlerweb.net","Removed typesize configuration: now apparently not needed (and not available as root concept).","Klemens Schindler",true],["072b8efb5adc5715614baf5011c56a848eb5d96c","7ff2727f7faf521cf77dfe20e65aeede78d4ee9c@schindlerweb.net","Removed typesize configuration in model: now apparently not needed (and not available as root concept).","Klemens Schindler",true]],"size":4,"ref":"refs/heads/master","head":"072b8efb5adc5715614baf5011c56a848eb5d96c"}