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