From e97fa4c6862732926190cf2dd0965ae2705f365d Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 17 May 2021 17:24:07 -0700 Subject: [PATCH] Tweak CHANGES for 1.6.1 Signed-off-by: Rudi Grinberg --- CHANGES.md | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 7fa5091bf..565d52ec3 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,18 +1,16 @@ -# 1.6.1 (05/03/2020) - -## Features - -- Get fresh diagnostics (warning and error messages) on a file save (#438) - - Note: If you want the fresh diagnostics to take into account changes in other files, you - likely need to rebuild your project. An easy way to get automatic rebuilds is to run - `dune` in a watching mode, e.g.,[dune build --watch]. +# 1.6.1 (05/17/2020) ## Fixes - Switch `verbosity` from 1 to 0. This is the same default that merlin uses. The old value for verbosity (#433) +- Get fresh diagnostics (warning and error messages) on a file save (#438) + + Note: If you want the fresh diagnostics to take into account changes in other + files, you likely need to rebuild your project. An easy way to get automatic + rebuilds is to run `dune` in a watching mode, e.g.,[dune build --watch]. + # 1.6.0 (04/30/2020) ## Features