Repository navigation

List tracked changes and refuse edits that would touch a pending suggestion - #10

Merged

lonetis merged 2 commits into

lonetis:mainfrom

JohannKaspar:wt/tracked-changes

Nov 9, 2026

Merged

List tracked changes and refuse edits that would touch a pending suggestion#10
lonetis merged 2 commits into
lonetis:mainfrom
JohannKaspar:wt/tracked-changes

Commits on Nov 9, 2026
- List tracked changes and refuse edits that would touch one
  JohannKaspar
  committed
  dce4578
- Skip the break-and-restore compile test when main.tex has suggestions
  JohannKaspar
  committed
  6941022