diff --git a/VERSION b/VERSION index 1616dff45..18905bd91 100644 --- a/VERSION +++ b/VERSION @@ -1,4 +1,4 @@ # GNU Make syntax VERSION_MAJOR := 0 VERSION_MINOR := 13 -VERSION_PATCH := 94 +VERSION_PATCH := 95