Skip to content

Conversation

@alexandre-daubois
Copy link
Member

@alexandre-daubois alexandre-daubois commented Jul 6, 2023

First step to fix #18504, I'll take care of the 7.0 version when this one's merged 🙂

@javiereguiluz
Copy link
Member

Nice! Alex, thanks for taking care of this.

@alexandre-daubois alexandre-daubois deleted the lock-gcprobablity branch July 6, 2023 16:57
javiereguiluz added a commit that referenced this pull request Jul 6, 2023
This PR was merged into the 7.0 branch.

Discussion
----------

[Lock] Remove deprecated option

Follow-up of #18524

Commits
-------

e4f0386 [Lock] Remove deprecated option
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants