Fixed a bug in the WI where it was not possible to install a foxx in a specific version
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
Headerbar buttons now have a cursor: pointer
Changed internal layout of the graphviewer, This fixes issues with the context menu, click events and display of edges to be
Fixed a bug where node creation does not work determinisiticly
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel