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

Update TicketHolder TLA+ model for SchedulingTicketHolder

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Closed
    • Major - P3
    • Resolution: Fixed
    • None
    • 6.1.0-rc0
    • None
    • None
    • Fully Compatible
    • Execution Team 2022-08-22

    Attachments

      Activity

        People

          jordi.olivares-provencio@mongodb.com Jordi Olivares Provencio
          jordi.olivares-provencio@mongodb.com Jordi Olivares Provencio
          Votes:
          0 Vote for this issue
          Watchers:
          2 Start watching this issue

          Dates

            Created:
            Updated:
            Resolved: