diff --git a/VERSION b/VERSION index b624de746..2d51852b5 100644 --- a/VERSION +++ b/VERSION @@ -1,4 +1,4 @@ # GNU Make syntax VERSION_MAJOR := 0 VERSION_MINOR := 31 -VERSION_PATCH := 1 +VERSION_PATCH := 2