Skip to content

Conversation

@jajik
Copy link
Member

@jajik jajik commented Aug 2, 2024

There is another unlock five line below which is the correct one.

@jajik jajik added the bug label Aug 2, 2024
@jajik jajik requested a review from jfclere August 2, 2024 12:42
Copy link
Member

@jfclere jfclere left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good catch

@jajik
Copy link
Member Author

jajik commented Aug 2, 2024

Thanks. I'm afraid there might be more, but I'll create a separate PR in that case.

@jajik jajik merged commit 80d5e48 into modcluster:main Aug 2, 2024
@jajik jajik deleted the double_unlock branch August 2, 2024 13:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants