31 Aug
2023
31 Aug
'23
1:34 p.m.
On Thu Aug 31 12:33:37 2023 +0000, Giovanni Mascellani wrote:
Do you already have a patch, even if later in the queue, solving this TODO?
Yes. I'm not sure if it will be in the next MR, but sooner is probably better than later.