Select Git revision
dev-group1-simon
dev-group1-stefan
dev-group2-all-aggregations
dev-group2-graphs
dev-group2-limit-neighbors
dev-group3-kim
dev-group3-qdigest
master