Details
-
Bug
-
Resolution: Won't Do
-
Major
-
3.1
-
None
Description
- At a merge, the merge leader creates a view in which the ViewId.creator is not itself.
- This opens the possibility that two different nodes might simultaneously be creating different views - but with the same ViewId
- This is bound to lead to confusion, if it happens
This is per pull request 54, which contains further discussion and a proposed fix.
(I'm raising this ticket just to have everything tracked in one place).