update contributors and changelog_next

idris-lang · Sep 27, 2024 · 515c304 · 515c304
1 parent 201b144
commit 515c304
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/CHANGELOG_NEXT.md b/CHANGELOG_NEXT.md
@@ -25,6 +25,8 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO
   where Idris2 will install the given package if `idris2 --install
   {ipkg-filename}` is called.
 
+* Remove reference to column number parameter in help menu for `refine` command.
+
 ### Building/Packaging changes
 
 * The Nix flake's `buildIdris` function now returns a set with `executable` and

diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -40,6 +40,7 @@ Jens Petersen
 Joel Berkeley
 Joey Eremondi
 Johann Rudloff
+Justin Yang
 Kamil Shakirov
 Kevin Boulain
 LuoChen