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