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

Loading