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