From 80f55f7c6eec731ebb120eb003b8cc2cf6b15e77 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 2 Jun 2023 18:24:49 +0200
Subject: [PATCH] sync Coq policy wording with std++

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 4b3a40bec..668d1ea78 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,8 @@ This version is known to compile with:
  - Coq 8.15.2 / 8.16.1 / 8.17.0
  - A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
 
-Generally we always aim to support at least the last two stable Coq releases.
+Generally we always aim to support the last two stable Coq releases. Support for
+older versions will be dropped when it is convenient.
 
 If you need to work with older versions of Coq, you can check out the
 [tags](https://gitlab.mpi-sws.org/iris/iris/-/tags) for old Iris releases that
-- 
GitLab