Skip to content

Remove dead mutex

Remove dead mutex #465

This job succeeded