GitHub PushEvent at 2014-12-22 16:56:23
Repository: genode-manual
Actor: nfeske
Payload: {"shas":[["5c76b2131b91a21a281a1cf971704958711963e4","8d5d0d82dd97720d9b7e277b23c3cff21fa3f7c8@genode-labs.com","Components: common session interfaces","Norman Feske",true]],"size":1,"ref":"refs/heads/master","head":"5c76b2131b91a21a281a1cf971704958711963e4"}