Use Genode 19.05 tag for spec

Thanks @zhoupeng for reporting. Fixes #5
nfeske · Nov 7, 2019 · 95346e1 · 95346e1
1 parent 3caec12
commit 95346e1
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/manual/spec/Makefile b/manual/spec/Makefile
@@ -19,8 +19,7 @@ VERBOSE ?= @
 #
 
 GENODE_GIT_URL := https://github.com/genodelabs/genode.git
-GENODE_GIT_REV := 64ee151d07a65dd0a77039817cb9a7fa11b53a6e
-#GENODE_GIT_REV := 18.05
+GENODE_GIT_REV := 19.05
 
 ifeq ($(GENODE_DIR),)
 GENODE_DIR := genode.git