From 38abefff55575e1b52840d2f4025d3058eec96c4 Mon Sep 17 00:00:00 2001 From: Leo White Date: Fri, 15 Feb 2019 17:35:49 +0000 Subject: [PATCH] Add Changes entry --- Changes | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Changes b/Changes index 1f3fd89a37bf..0a6a0a6b1afa 100644 --- a/Changes +++ b/Changes @@ -552,7 +552,7 @@ OCaml 4.08.0 pull requests; see CONTRIBUTING.md for more details. (David Allsopp, review by Damien Doligez and Sébastien Hinderer) -- GPR#1610: Remove positions from paths +- GPR#1610, GPR#2252: Remove positions from paths (Leo White, review by Frédéric Bour and Thomas Refis) - GPR#1703, GPR#1944, GPR#2213: Add the module Compile_common,