9 Jul
2023
9 Jul
'23
12:28 p.m.
On Sun Jul 9 11:29:22 2023 +0000, Piotr Caban wrote:
I think it's worth adding (it fixes PDFs printing).
Added, thanks!