Update TicketHolder TLA+ model for SchedulingTicketHolder

XMLWordPrintableJSON

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

          Assignee:
          Jordi Olivares Provencio
          Reporter:
          Jordi Olivares Provencio
          Votes:
          0 Vote for this issue
          Watchers:
          2 Start watching this issue

            Created:
            Updated:
            Resolved: