Add a (pending) release line for 3.1.4.

diff --git a/OLDNEWS b/OLDNEWS
index 7bc36eebf9938d14cbe5a5b2b2245fd7ff441c83..de195420c8b48d33abcfc7513df85524d4b4604c 100644 (file)
--- a/OLDNEWS
+++ b/OLDNEWS
@@ -3746,6 +3746,7 @@ Changes since 2.4.6:
 \f
 Partial Protocol History
        RELEASE DATE    VER.    DATE OF COMMIT* PROTOCOL
+       ?? May 2020     3.1.4                   ??
        28 Jan 2018     3.1.3                   31
        21 Dec 2015     3.1.2                   31
        22 Jun 2014     3.1.1                   31