hold
Called once, when the space has been given back -- by the holder, or by the clock.
Parameters
allocation
the hold that has just ended, whose ZoneAllocation.timeHeld is now final
Called once, when the space has been given back -- by the holder, or by the clock.
the hold that has just ended, whose ZoneAllocation.timeHeld is now final