Skip to content

Remove /Annots key if empty array - #5151

Merged
JorjMcKie merged 1 commit into
mainfrom
harden-annot-deletion
Oct 2, 2026
Merged

JorjMcKie merged 1 commit into
mainfrom
harden-annot-deletion

Conversation

@JorjMcKie

Copy link
Copy Markdown
Collaborator

We need to remove empty /Annots arrays when resulting under annotation / widget deletion. Otherwise, illegal situations may result in some corner cases - see here.

We need to remove empty /Annots arrays when resulting under annotation / widget deletion.
Otherwise, illegal situations may result in some corner cases.
@JorjMcKie
JorjMcKie force-pushed the harden-annot-deletion branch from 3c7d9e4 to 60f0d0f Compare October 2, 2026 12:00
@JorjMcKie
JorjMcKie merged commit 438d2b5 into main Oct 2, 2026
3 checks passed
@JorjMcKie
JorjMcKie deleted the harden-annot-deletion branch October 2, 2026 12:35
@github-actions github-actions Bot locked and limited conversation to collaborators Oct 2, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants