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