[SERVER-56481] Update TLA+ spec for reconfig to model arbiters Created: 29/Apr/21  Updated: 06/Dec/22

Status: Open
Project: Core Server
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Task Priority: Major - P3
Reporter: Samyukta Lanka Assignee: Backlog - Replication Team
Resolution: Unresolved Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Issue Links:
Backports
Related
related to SERVER-55376 Reconfig can roll back committed writ... Closed
is related to SERVER-56670 Ensure reconfig cannot roll back comm... Closed
Assigned Teams:
Replication
Backport Requested:
v5.0
Sprint: Repl 2021-07-12, Repl 2021-07-26, Repl 2021-08-09, Repl 2021-08-23, Repl 2021-09-06
Participants:
Generated at Thu Feb 08 05:39:22 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.