More fixes.

Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
This commit is contained in:
David Robertson 2022-06-14 18:39:35 +01:00 committed by GitHub
parent e2f389584b
commit 00e225b662
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -114,8 +114,8 @@ from smallest to largest, using the following comparison relation on
events: for events *x* and *y*, *x*&lt;*y* if events: for events *x* and *y*, *x*&lt;*y* if
1. the mainline position of *x* is **greater** than 1. the mainline position of *x* is **greater** than
the mainline position of *y* in the mainline of *P* (i.e. the auth chain of the mainline position of *y* (i.e. the auth chain of
*x* is based on an earlier event in the mainline than *y*); or *x* is based on an earlier event in the mainline than *y*); or
2. the mainline positions of the events are the same, but *x*'s 2. the mainline positions of the events are the same, but *x*'s
`origin_server_ts` is *less* than *y*'s `origin_server_ts`; or `origin_server_ts` is *less* than *y*'s `origin_server_ts`; or
3. the mainline positions of the events are the same and the events have the 3. the mainline positions of the events are the same and the events have the