... | ... | @@ -34,4 +34,5 @@ Hence the following is true: |
|
|
* Changes received already marked as *foreign* are fixed as non-changes (not to be forwarded)
|
|
|
* Receive state must maintain list of *foreign* changes, moved to new frames.
|
|
|
* Received *foreign* changes become fixed once new frame constructed that takes those changes
|
|
|
* a local change to a *foreign* change removes the *foreign* flag
|
|
|
|