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