From e739f16b0792545ec210008cdd6264614fe695e4 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Wed, 28 Mar 2018 17:42:51 +0200
Subject: Fix #7101: STM delegation policy broken

I make here a minimal fix, but a lot of cleaning should be done around
Aux_file handling, including removing some code from the kernel.
---
 CHANGES | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 24c4cfec0..5b6a73e7d 100644
--- a/CHANGES
+++ b/CHANGES
@@ -6,6 +6,15 @@ Tools
 - Coq_makefile lets one override or extend the following variables from
   the command line: COQFLAGS, COQCHKFLAGS, COQDOCFLAGS.
 
+Changes from 8.8+beta1 to 8.8.0
+===============================
+
+Tools
+
+- Asynchronous proof delegation policy was fixed. Since Coq 8.7, it was
+  ignoring previous runs, hence the -async-proofs-delegation-threshold did
+  not have the expected behavior.
+
 Changes from 8.7.2 to 8.8+beta1
 ===============================
 
-- 
cgit v1.2.3