diff --git a/GITSHA b/GITSHA new file mode 100644 index 000000000..be3cfa899 --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +225967a1ed6525db7e4e17e4fd8b79ec1bf3c2ff