[polish] Update tenant migration TLA+ spec to include the donorAbortMigration command

XMLWordPrintableJSON

    • Sharding 2021-05-03, Sharding 2021-05-17, Sharding 2021-05-31
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None
    • None

            Assignee:
            Cheahuychou Mao
            Reporter:
            Esha Maharishi (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

              Created:
              Updated:
              Resolved: