Hi! Samuel has recently applied (thanks!) a ton of patches by/for Guillem (thanks!); I'd be happy to allow Guillem to do the Git pushes himself (after posting the patches on bug-hurd and getting them acknowledged). Any comments? (Or, Samuel, do you have any special/automated/time-saving process for revieweing patches and the surrounding code, and applying/committing them at the same time?)
Grüße, Thomas
pgpES6rwkD9KY.pgp
Description: PGP signature
