On Thursday, November 18 2021, Simon Chopin wrote:
> Agreed. The patch is mainly there in case they take too long to decide > ;-)
Gotcha :-). Thanks!
-- Sergio GPG key ID: E92F D0B3 6B14 F1F4 D8E0 EB2F 106D A1C8 C3CB BF14
On Thursday, November 18 2021, Simon Chopin wrote:
> Agreed. The patch is mainly there in case they take too long to decide
> ;-)
Gotcha :-). Thanks!
--
Sergio
GPG key ID: E92F D0B3 6B14 F1F4 D8E0 EB2F 106D A1C8 C3CB BF14