This is release 2.3.0b

distrib/core/HOWTO

@@ -33,7 +33,7 @@ rm $A
 
 ### update git
 cd /G/f2
-kcom # This is release ...
+kcom -m "This is release $V"
 kush
 k tag v$V # Yes! Our IT wants version tags to start with "v".
 # to delete erroneous tag: git tag -d $X; git push origin :refs/tags/$X