diff --git a/GITSHA b/GITSHA new file mode 100644 index 000000000..0763feb9f --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +6c9c64a55f4480d96c2f722066d273c500067f3a