Code

Handle coincident page marks better#1277

Code

Merged

windymilla merged 1 commit intoDistributedProofreaders:masterDistributedProofreaders/guiguts:masterfrom windymilla:pagenum-bugwindymilla/guiguts:pagenum-bugCopy head branch name to clipboardNov 27, 2023

+24-21

Commits

Commits on Nov 21, 2023

• Handle coincident page marks better

  Show description for 4a1a33a
  windymilla

  committed
  4a1a33a