Skip to content
Snippets Groups Projects
user avatar
Michael Hanselmann authored
Commit 9b7e05a6 didn't quite work as expected: glm.is_owned expects a
locking level, not a lock name.

Signed-off-by: default avatarMichael Hanselmann <hansmi@google.com>
Reviewed-by: default avatarHelga Velroyen <helgav@google.com>
0ee383bf
Name Last commit Last update