Revision 80ee04a4
ID | 80ee04a496ef99f747f6b94eff9edf4b24ad16ba |
Parent | d4f4b3e7 |
Child | ab62526c |
Use is_owned to determine whether to unlock
Now that is_owned is public we don't need to play games at the end of an
LU. If we're still owning anything we just release it.
Reviewed-by: imsnah
Files
- added
- modified
- copied
- renamed
- deleted