Revision 0ee383bf
ID | 0ee383bf93666e421539525f06f1c019914f2be6 |
Parent | 5d630c22 |
Child | 1ea0e8a8 |
Fix build after commit 9b7e05a
Commit 9b7e05a 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>
Files
- added
- modified
- copied
- renamed
- deleted