diff --git a/Makefile b/Makefile
index b1b8a3f1..9fbdba17 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.3
+VERSION ?= v0.9.4
 REVMARK ?= Draft
 
 # Directories and files