« Previous | Next » 

Revision 80ee04a4

ID80ee04a496ef99f747f6b94eff9edf4b24ad16ba
Parent d4f4b3e7
Child ab62526c

Added by Guido Trotter over 15 years ago

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

View differences