From 94608b6f0499c66dde3cdf7da2aeda16cd6df78a Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 10 Jul 2018 16:55:45 +0100 Subject: [PATCH] Update changelog regarding ${<} Signed-off-by: Jeremie Dimino --- CHANGES.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index d59ef1db..273124c3 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -135,10 +135,10 @@ `# JBUILDER_GEN`. (#958, @rgrinberg) - Rename the following variables in dune files: - `SCOPE_ROOT` to `project_root` - `@` to `targets` - `<` to `first-dep` - `^` to `deps` + + `SCOPE_ROOT` to `project_root` + + `@` to `targets` + + `^` to `deps` + `<` was renamed in this PR and latter deleted in favor or named dependencies. (#957, @rgrinberg) - Rename `ROOT` to `workspace_root` in dune files (#993, @diml)