diff --git a/VERSION b/VERSION index a7d7d0eef..7dec71e57 100644 --- a/VERSION +++ b/VERSION @@ -1,4 +1,4 @@ # GNU Make syntax VERSION_MAJOR := 0 VERSION_MINOR := 13 -VERSION_PATCH := 3 +VERSION_PATCH := 90