Skip to content

diff.php: Fix exception when either side of the diff is OCR - #1638

Merged
cpeel merged 1 commit into
DistributedProofreaders:masterfrom
bpfoley:diff-ocr
Sep 9, 2026
Merged

diff.php: Fix exception when either side of the diff is OCR#1638
cpeel merged 1 commit into
DistributedProofreaders:masterfrom
bpfoley:diff-ocr

Conversation

@bpfoley

@bpfoley bpfoley commented Sep 9, 2026

Copy link
Copy Markdown
Collaborator

We synthesise a fake OCR round object for this case and failed to allow it in all places.

Add a smoke test to catch this.

We synthesise a fake OCR round object for this case and failed to
allow it in all places.

Add a smoke test to catch this.
@cpeel
cpeel merged commit 148a9ab into DistributedProofreaders:master Sep 9, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants