diff --git a/CHANGELOG.md b/CHANGELOG.md
index e8dedf7f0..5585c41c9 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -34,9 +34,6 @@ This CHANGELOG describes the history of already-released versions. Please see [C
   referred to by another definitions, and in which function currently elaborator is.
   These features together give an ability to inspect whether particular expressions
   are recursive (including mutual recursion).
-* Autobind and Typebind modifier on operators allow the user to
-  customise the syntax of operator to look more like a binder.
-  See [#3113](https://github.com/idris-lang/Idris2/issues/3113).
 
 ### REPL/CLI changes
 
diff --git a/CHANGELOG_NEXT.md b/CHANGELOG_NEXT.md
index 997f2b100..992ab72d8 100644
--- a/CHANGELOG_NEXT.md
+++ b/CHANGELOG_NEXT.md
@@ -26,6 +26,10 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO
 
 ### Language changes
 
+* Autobind and Typebind modifier on operators allow the user to
+  customise the syntax of operator to look more like a binder.
+  See [#3113](https://github.com/idris-lang/Idris2/issues/3113).
+
 ### Backend changes
 
 #### RefC