guess at versioning scheme

diff --git a/doc/news/version_3.141/discussion.mdwn b/doc/news/version_3.141/discussion.mdwn
index 8807c34b0fb44f47f40f6ddcfa5d347a73f5c871..97a07a8a00a95c1abdb5c435fb4a9bad8e6f9287 100644 (file)
--- a/doc/news/version_3.141/discussion.mdwn
+++ b/doc/news/version_3.141/discussion.mdwn
@@ -1,2 +1,4 @@
 Version 3.141!? Is it not a mistake? Maybe you meant 3.14.1 or 3.15?
 --[[Paweł|users/ptecza]]
+
+> I suspect the next version will be 3.1415 ;) -- [[Jon]]