Re: sim prune_warnings

Tom Tromey
2023-09-01T03:07:51Z

Alan> I committed the patch on Aug 19, when pushing the sim regen series.
Alan> It seemed obvious enough to me. Without it I would have needed to
Alan> edit commit 9d4f36166d626 log to report a lot more fails.

Ok, thanks. I sometimes reply to patches when I haven't seen any
traffic; I didn't think to check the git log.

Tom