9 Jul
2023
9 Jul
'23
11:19 a.m.
On Sun Jul 9 11:19:42 2023 +0000, Piotr Caban wrote:
Did you consider adding 8171cfb79b4dbd57184ade9b7a66aed47aba8427 to the release?
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.