« Previous | Next » 

Revision dcf315e2

IDdcf315e272bf5dc08f80904b98eac6a657dbd07b
Parent 808753d4
Child ce862cd5

Added by Guido Trotter over 14 years ago

locking: remove obsolete comment

Reviewed-by: iustinp

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences