Repository navigation

app: Undo names whose step it takes, and the bubble after it has a Redo - #495

Merged

foxnne merged 1 commit into

mainfrom

app/undo-names-whose

Oct 18, 2026

Merged

app: Undo names whose step it takes, and the bubble after it has a Redo#495
foxnne merged 1 commit into
mainfrom
app/undo-names-whose

Commits on Oct 17, 2026
- app: Undo names whose step it takes, and the bubble after it has a Redo
  
  foxnne
  and
  claude
  committed
  ffbbd0b