We have now completed the implementation of the algorithms described
in the comment.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
/* Details of "mobile peer" semantics:
/* Details of "mobile peer" semantics:
- | Note: this comment is wishful thinking right now. It will be
- | implemented in subsequent commits.
-
- We use the same data structure for the different configurations,
but manage it with different algorithms.
- We use the same data structure for the different configurations,
but manage it with different algorithms.