Skip to content
/ server Public

thread_group_close: release mutex in all branches#413

Merged
svoj merged 1 commit intoMariaDB:5.5from
grooverdan:5.5-coverity-972087
Jul 3, 2017
Merged

thread_group_close: release mutex in all branches#413
svoj merged 1 commit intoMariaDB:5.5from
grooverdan:5.5-coverity-972087

Conversation

@grooverdan
Copy link
Member

Found by Coverity scan - id 92087

Found by Coverity scan - id 92087
@grooverdan grooverdan force-pushed the 5.5-coverity-972087 branch from 965625a to dc23810 Compare July 2, 2017 06:35
@svoj svoj added this to the 5.5 milestone Jul 3, 2017
@svoj svoj self-assigned this Jul 3, 2017
@svoj svoj merged commit 623c3f6 into MariaDB:5.5 Jul 3, 2017
@svoj
Copy link
Contributor

svoj commented Jul 3, 2017

Thank!

@grooverdan grooverdan deleted the 5.5-coverity-972087 branch July 3, 2017 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants