Skip to content

Clean up note_deprecation#4633

Merged
Liam-DeVoe merged 1 commit intoHypothesisWorks:masterfrom
Liam-DeVoe:note-deprecation-cleanup
Jan 5, 2026
Merged

Clean up note_deprecation#4633
Liam-DeVoe merged 1 commit intoHypothesisWorks:masterfrom
Liam-DeVoe:note-deprecation-cleanup

Conversation

@Liam-DeVoe
Copy link
Copy Markdown
Member

Pulling out a cleanup from #4563. Pulling out to a new file avoided a circular import in that PR.

@Liam-DeVoe Liam-DeVoe requested a review from Zac-HD as a code owner January 5, 2026 04:01
@Liam-DeVoe Liam-DeVoe merged commit 63be116 into HypothesisWorks:master Jan 5, 2026
76 checks passed
@Liam-DeVoe Liam-DeVoe deleted the note-deprecation-cleanup branch January 5, 2026 04:55
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