« Previous | Next » 

Revision 80ee04a4

Parent d4f4b3e7
Child ab62526c

Added by Guido Trotter almost 16 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


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences