From f1238742f931269167e7c2704b53bb285d05f39d Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 18 May 2020 11:28:58 +0200
Subject: Update to 8.13.

Part of this PR was automatically generated by running dev/doc/update-compat.py --master
---
 dev/doc/changes.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index 9498ab8bbb..ae4c6328b5 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -1,3 +1,5 @@
+## Changes between Coq 8.12 and Coq 8.13
+
 ## Changes between Coq 8.11 and Coq 8.12
 
 ### Code formatting
-- 
cgit v1.2.3