-
Leigh B Stoller authored
people delete used reservations before the expire, and currently we are only recording expired reservations. So we need a deleted slot in the history table to tell the difference.
2f975b99
people delete used reservations before the expire, and currently we are only recording expired reservations. So we need a deleted slot in the history table to tell the difference.