Sorry for the false alarm.
None of the news stories do a good job of identifying which bill is which.
Another interesting note: I believe, since Congress is no longer in session, that a bill that remains unsigned for 10 days by the President is dead. That’s the “pocket veto”. Yeah, I know, very unlikely.