[MERGE] (gremlin|master) Merge branch 'master' into gremlin
Conflicts: src/green/gremlin1/Makefile
CHANGELOG
0 → 100644
COPYING
0 → 100644
COPYING.legacy
deleted
100644 → 0
INSTALL.md
0 → 100644
Makefile
0 → 100644
README.md
0 → 100644
contrib/README
0 → 100644