Thank you! I updated https://codeberg.org/guix/guix/pulls/3192 . Please Igorj and Pierre, let me know if I made any mistake in your person record, otherwise the PR should be good to merge and we only need someone with commit abilities to merge it.

cheers,

giacomo


Reply via email to