On Monday, March 07 2022, Andreas Hasenack wrote:
> This migrated a long time ago, could you please set the MP status to "merged"?
Done, thanks.
-- Sergio GPG key ID: E92F D0B3 6B14 F1F4 D8E0 EB2F 106D A1C8 C3CB BF14
« Back to merge proposal
On Monday, March 07 2022, Andreas Hasenack wrote:
> This migrated a long time ago, could you please set the MP status to "merged"?
Done, thanks.
--
Sergio
GPG key ID: E92F D0B3 6B14 F1F4 D8E0 EB2F 106D A1C8 C3CB BF14