diff --git a/misc/boring/VERSION b/misc/boring/VERSION
index 00750edc07..b8626c4cff 100644
--- a/misc/boring/VERSION
+++ b/misc/boring/VERSION
@@ -1 +1 @@
-3
+4