Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-56481

Update TLA+ spec for reconfig to model arbiters

    • Type: Icon: Task Task
    • Resolution: Unresolved
    • Priority: Icon: Major - P3 Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Labels:
      None
    • Replication
    • v5.0
    • Repl 2021-07-12, Repl 2021-07-26, Repl 2021-08-09, Repl 2021-08-23, Repl 2021-09-06

          Assignee:
          backlog-server-repl [DO NOT USE] Backlog - Replication Team
          Reporter:
          samy.lanka@mongodb.com Samyukta Lanka
          Votes:
          0 Vote for this issue
          Watchers:
          4 Start watching this issue

            Created:
            Updated: