Name: Marco Pesenti Gritti
Account name: marco
Created attachment 3255 [details]
Created attachment 3256 [details]
So I actually have an account but I lost everything about it.
I believe user name is marco... ssh is ok but can you replace the old gpg key
with this one?
ACK from the poppler side.
I've added the user marco to the poppler group.
I'm not sure if anything else still needs to be done. Please close if not,
and otherwise let me know what else is needed.