'Unfreezes the timestamp used for resolve/delete database queries.'

def UnfreezeTimestamp(self):

    if (not self.prev_frozen_timestamps):
        raise RuntimeError('Unbalanced    UnfreezeTimestamp    call.')
    self.frozen_timestamp = self.prev_frozen_timestamps.pop()
