Closed
Description
"... or None if that instant is earlier than this one"
should be
"... or None if that instant is later than this one"
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests
"... or None if that instant is earlier than this one"
should be
"... or None if that instant is later than this one"