diff --git a/GITSHA b/GITSHA new file mode 100644 index 00000000..f1cd6220 --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +acb77e461aee5ff7c444bafb1a69e2dc8f2b5628