bitrig branch patrick_atomic_mplock deleted

[Christiano F. Haesbaert]

the bitrig patrick_atomic_mplock branch has been deleted by haesbaert.