diff --git a/VERSION b/VERSION index b4b4acd04..2b0808084 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -revision3813-1002-gfc1a21e +revision3813-1015-g3f93eb9