I saw it on the Bitcoin-dev-request mailing list. He even asked for a donation to bitcoincash:qr5yuq3q40u7mxwqz6xvamkfj8tg45wyus7fhqzug5

The only saving grace was he didn't use the word 'inflation' to describe the bug - nevertheless it's a great pickup on good on him.