Skip to content

Drop now unneeded allow-newer fields#118

Merged
phadej merged 1 commit intomasterfrom
no-allow-newer
Apr 17, 2026
Merged

Drop now unneeded allow-newer fields#118
phadej merged 1 commit intomasterfrom
no-allow-newer

Conversation

@phadej
Copy link
Copy Markdown
Collaborator

@phadej phadej commented Apr 17, 2026

No description provided.

@phadej phadej merged commit 66ca2ed into master Apr 17, 2026
29 of 32 checks passed
@phadej phadej deleted the no-allow-newer branch April 17, 2026 11:43
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.

1 participant