diff --git a/GITSHA b/GITSHA new file mode 100644 index 000000000..4f0f01126 --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +29fdeef45f109575d8c2a0c78adcb2bd75b86f45