diff --git a/GITSHA b/GITSHA new file mode 100644 index 000000000..cab47d128 --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +e104db4187ab7ffb877c95d3a025af178cace3df