From f8fa08dafbe1171b8810675f75757a12cfe64a95 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 23 Feb 2020 07:20:24 -0700 Subject: [PATCH] fix version in install makefile original commit: 060bf8c21f1fc758de68d2eff0b6f9f802207c25 --- makefiles/Mf-install.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles/Mf-install.in b/makefiles/Mf-install.in index 33cfca5147..395effaed4 100644 --- a/makefiles/Mf-install.in +++ b/makefiles/Mf-install.in @@ -62,7 +62,7 @@ InstallLZ4Target= # no changes should be needed below this point # ############################################################################### -Version=csv9.5.3.20 +Version=csv9.5.3.21 Include=boot/$m PetiteBoot=boot/$m/petite.boot SchemeBoot=boot/$m/scheme.boot