On Sun Jul 9 11:19:42 2023 +0000, Michael Stefaniuc wrote:
I've pulled in stuff included in up to 8.8. If you think I should add it to 8.0.2 I can pull it in. I'm late with releasing that and 8.10 was out now for a month.
I think it's worth adding (it fixes PDFs printing).