diff --git a/GITSHA b/GITSHA new file mode 100644 index 000000000..084b30be0 --- /dev/null +++ b/GITSHA @@ -0,0 +1 @@ +8979228e0bf1eb90a14596ac3dc41d20b7c0533c