Stale links to TLA+ specs from Replication README

XMLWordPrintableJSON

    • Type: Bug
    • Resolution: Fixed
    • Priority: Trivial - P5
    • 5.1.0-rc0
    • Affects Version/s: None
    • Component/s: None
    • None
    • Fully Compatible
    • ALL
    • Server Serverless 2021-08-23
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      The Replication README in src/mongo/db/repl/README.md has links to view TLA+ specs on GitHub.com. These URLs point to the files on the 4.4 branch. Let's convert them to "master".

            Assignee:
            A. Jesse Jiryu Davis
            Reporter:
            A. Jesse Jiryu Davis
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: