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