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

Update TicketHolder TLA+ model for SchedulingTicketHolder

XMLWordPrintableJSON

    • Type: Icon: Improvement Improvement
    • Resolution: Fixed
    • Priority: Icon: Major - P3 Major - P3
    • 6.1.0-rc0
    • Affects Version/s: None
    • Component/s: None
    • None
    • Fully Compatible
    • Execution Team 2022-08-22

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

            Created:
            Updated:
            Resolved: