Skip to content

CHANGELOG: add PR links#1738

Merged
dhardy merged 1 commit intomasterfrom
push-zwvpppprlsqv
Feb 7, 2026
Merged

CHANGELOG: add PR links#1738
dhardy merged 1 commit intomasterfrom
push-zwvpppprlsqv

Conversation

@dhardy
Copy link
Member

@dhardy dhardy commented Feb 7, 2026

Co-authored with Gemini. (It took a little convincing not to re-word history; I kept only a couple of very minor wording fixes since the goal is simply to add PR links.)

@dhardy dhardy merged commit 146da58 into master Feb 7, 2026
@dhardy dhardy deleted the push-zwvpppprlsqv branch February 7, 2026 17:32
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