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