diff --git a/GITSHA b/GITSHA new file mode 100644 index 000000000..927ac57fa --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +3c2c2ca30234f1403b0590c3bd5d63c86c1bd9b4