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