From d2867a4267f03dfdd636277ea15beaa5ccf3dc77 Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Fri, 25 Sep 2026 11:41:58 +0700
Subject: [PATCH] not= stays refused in favour of !=

---
 TODO.org | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/TODO.org b/TODO.org
index a2e8abc9..eb6d0923 100644
--- a/TODO.org
+++ b/TODO.org
@@ -663,6 +663,11 @@ copy of its header, so growth inside the callee does not reach the caller. A
 parameter the function grows (push, put, reserve, anything that can reallocate)
 gets a warning at the parameter suggesting (Ptr ...).
 
+** CANCELLED not= as a spelling of !=
+CLOSED: [2026-09-25]
+One spelling for one operation; != stays, and not= is refused with a suggestion
+of !=.
+
 * Checker
 
 ** DONE The ownership flow analysis is repealed