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