Fixed a bug where the delivery of messages was not correct in some pregel executions
Merge branch 'pregel' of github.com:triAGENS/ArangoDB into pregel