-
Klaus Aehlig authored
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 <aehlig@google.com> Reviewed-by: Petr Pudlak <pudlak@google.com>
3f173b09