From b3346439261d794823a77192b7645c7b46d3b59e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=A1s=20Ojeda=20B=C3=A4r?= Date: Mon, 7 Oct 2019 18:31:45 +0200 Subject: [PATCH] Update CHANGES.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Nicolás Ojeda Bär --- CHANGES.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 31da6f79056..f04aee28319 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -145,6 +145,10 @@ `preprocess` field is. It is a warning with Dune 1.x projects (#2660, @Julow) +- Dune will use `-output-complete-exe` instead of `-custom` when compiling + self-contained bytecode executables whenever this options is available + (OCaml version >= 4.10) (#2692, @nojb) + 1.11.3 (23/08/2019) -------------------