A lot of them got fired by Trump, it likely did get lost. Depending on how much it is, it might be worth dedicating an hour a month to following up.