init new dev release

This commit is contained in:
vanhauser-thc 2022-06-28 14:30:03 +02:00
parent 92352951d7
commit e21738a248

View File

@ -26,7 +26,7 @@
/* Version string: */
// c = release, a = volatile github dev, e = experimental branch
#define VERSION "++4.01c"
#define VERSION "++4.02a"
/******************************************************
* *