From dc71a8c30feb1281a2720a96d1cce485ec580a97 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 3 Jan 2018 16:48:03 +0100
Subject: [PATCH] Add 0d6031e4 to the changelog.

---
 CHANGELOG.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 4619351d5..6cdea08d7 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,12 @@ way the logic is used on paper.  We also mention some significant changes in the
 Coq development, but not every API-breaking change is listed.  Changes marked
 `[#]` still need to be ported to the Iris Documentation LaTeX file(s).
 
+## Iris master
+
+Changes in Coq:
+
+* Rename `timelessP` -> `timeless` (projection of the `Timeless` class)
+
 ## Iris 3.1.0 (released 2017-12-19)
 
 Changes in and extensions of the theory:
-- 
GitLab