diff --git a/Makefile b/Makefile index 5c310e64..b1b8a3f1 100644 --- a/Makefile +++ b/Makefile @@ -18,7 +18,7 @@ GEN_SCRIPT = $(SCRIPTS_DIR)/generate_tables.py # Version and date DATE ?= $(shell date +%Y-%m-%d) -VERSION ?= v0.9.2 +VERSION ?= v0.9.3 REVMARK ?= Draft # Directories and files