GitHub PushEvent at 2014-06-23 22:38:53
Repository: ArangoDB
Actor: jsteemann
Payload: {"shas":[["d9fcdb89e39d22ec20dfd2395ddb483802d041bb","a06957762ac31e83c7732eebce53eee3f7600aaa@triagens.de","simplification of signatures","jsteemann",true],["d196350e50fb2ff486d4f9e9b3a4a453d9048540","a06957762ac31e83c7732eebce53eee3f7600aaa@triagens.de","dont provide functionality in non-debug mode","jsteemann",true],["d032ba54e1ecf203a8557f04c9ad80d797db3152","a06957762ac31e83c7732eebce53eee3f7600aaa@triagens.de","Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel","jsteemann",true]],"size":3,"ref":"refs/heads/devel","head":"d032ba54e1ecf203a8557f04c9ad80d797db3152"}