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:Michael Hanselmann <hansmi@google.com> Reviewed-by:
Helga Velroyen <helgav@google.com>
Name | Last commit | Last update |
---|