re: #612 HappyWarrior

They still have claimants right?

I meant, it ended in February.

And yes, there are “claimants”. The less said about them, the better.