diff --git a/GITSHA b/GITSHA new file mode 100644 index 000000000..3d1d0f23f --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +bb84a9189c667a7bb84bfb6b2e04541c5128deb3