I'd like to add him to the authors.txt file for the git mirroring. njanssen: if you're reading this and don't mind getting added to the authors.txt file write me a short line in this format:
njanssen = YOUR NAME <your-email@host..> Marc Weber _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
