Please sign in to comment.
vclock:prune(): In case of oldish vclock entries with identical times…
…tamps, the entries to be deleted was arbitrary. This might lead to merge conflicts later on. Making the sort order deterministic to avoid this issue.
- Loading branch information...