« Previous | Next » 

Revision 3f173b09

ID3f173b0953da34eaf0efd7141f9dc18c1acfcc4e

Added by Klaus Aehlig about 10 years ago

Derive Ord JobId

Make the type JobId an instance of Ord. While the order itself
does not matter, it is a prerequisite to be an instance of Ord
to be used as the type of lock owners.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences