Skip to content

Rename NoMutex class to NullMutex#74

Merged
mvorisek merged 5 commits intomasterfrom
rename_nomutex_to_nullmutex
Dec 9, 2024
Merged

Rename NoMutex class to NullMutex#74
mvorisek merged 5 commits intomasterfrom
rename_nomutex_to_nullmutex

Conversation

@mvorisek
Copy link
Member

@mvorisek mvorisek commented Dec 9, 2024

BC break: NoMutex class was removed

Use the new NullMutex class name instead.

@mvorisek mvorisek marked this pull request as ready for review December 9, 2024 11:56
@mvorisek mvorisek merged commit 41509dd into master Dec 9, 2024
@mvorisek mvorisek deleted the rename_nomutex_to_nullmutex branch December 9, 2024 12:26
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