merge bugfix X-(
commitdbd58e81755607de511845564ac3353eeb369ac2
authorKartik K. Agaram <vc@akkartik.com>
Fri, 21 Jun 2024 15:14:59 +0000 (21 08:14 -0700)
committerKartik K. Agaram <vc@akkartik.com>
Fri, 21 Jun 2024 15:17:19 +0000 (21 08:17 -0700)
treeb211fddca254f5805400f926e8a83673cad8a049
parentf4827991c5913b4a396fd1d67e081f653dfa8cff
merge bugfix X-(

Looks to have first been introduced in Sep 2023. (Merge commit
09c76c82c2, though git's merge commits are hard to read. Yes, looks like
commit 0a12e4c733 didn't get merged right.)
edit.lua