25 dimes not yet credited?

So on the auspicious occasion of desidime's birthday there was this post on which commenting between 12-1pm would have resulted in crediting of dimes by conversion from gold dimes upto 25 dimes, has anyone received those dimes yet? :sweat_smile: