Skip to content

Remove namespaces from lock API.

Robbert Krebbers requested to merge robbert/lock_namespace into master

They are not used, non of the specs expose them.

Also this is consistent with e.g., par, for which we also fix the namespace.

Merge request reports