On 03/03/20 09:05, Felipe Franciosi wrote: >> >> Paolo, would you queue it? > Ping: did this get lost?
Yes, I have queued it now and fixed the conflicts. Paolo
On 03/03/20 09:05, Felipe Franciosi wrote: >> >> Paolo, would you queue it? > Ping: did this get lost?
Yes, I have queued it now and fixed the conflicts. Paolo