diff --git a/VERSION b/VERSION index 096cd6ab1..509bf817b 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -revision3813-1018-g54d0a0a +revision3813-1031-g4d8aad3