Commit Graph

1 Commits

Author SHA1 Message Date
09604997a7 Implement MergeContext
that has multiple contexts as parent and chooses the earliest deadline.
2023-08-21 22:49:09 +02:00