On Friday, August 26 2022, Athos Ribeiro wrote:
> LGTM! Thanks, Sergio.
Thanks, Athos.
Merged.
-- Sergio GPG key ID: E92F D0B3 6B14 F1F4 D8E0 EB2F 106D A1C8 C3CB BF14
« Back to merge proposal
On Friday, August 26 2022, Athos Ribeiro wrote:
> LGTM! Thanks, Sergio.
Thanks, Athos.
Merged.
--
Sergio
GPG key ID: E92F D0B3 6B14 F1F4 D8E0 EB2F 106D A1C8 C3CB BF14