I'm not a member of this committee, and I would hate to break the normal relations that happen on this committee, but it's my understanding that once a vote has been taken, if it hadn't been called as a recorded vote, then the vote's actually done.
On February 27th, 2019. See this statement in context.