r777: avoid skipping too many seeds

2026-10-01 11:48:12 +08:00 · 2018-05-11 10:25:18 -04:00
parent 463f9309f9
commit 9f4309c376
2 changed files with 4 additions and 4 deletions
@@ -10,7 +10,7 @@
 #include "getopt.h"
 #endif

-#define MM_VERSION "2.10-r774-dirty"
+#define MM_VERSION "2.10-r777-dirty"

 #ifdef __linux__
 #include <sys/resource.h>