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

Stale links to TLA+ specs from Replication README

    XMLWordPrintableJSON

Details

    • Icon: Bug Bug
    • Resolution: Fixed
    • Icon: Trivial - P5 Trivial - P5
    • 5.1.0-rc0
    • None
    • None
    • None
    • Fully Compatible
    • ALL
    • Server Serverless 2021-08-23

    Description

      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".

      Attachments

        Activity

          People

            jesse@mongodb.com A. Jesse Jiryu Davis
            jesse@mongodb.com A. Jesse Jiryu Davis
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: