Skip to content

Fix two TODO ticket numbers

Ian Jackson requested to merge Diziet/arti:todo-number into main

I seem to have mistyped this ticket number. We meant #1397 (closed) aka "Circuit reactor isn't great", not some release ticket.

Prompted by noticing !2219 (closed)

Merge request reports