Hello Andreas, I'm a fan of team-maintained packages - I just set the maintainer field to DPMT in the git repo.
Thanks! Federico
Hello Andreas, I'm a fan of team-maintained packages - I just set the maintainer field to DPMT in the git repo.
Thanks! Federico