Franz Pletz 789760aa10 Merge pull request #68779 from mimame/update/maintainer ... maintainer: mimadrid: update github username and personal data		2019-09-14 14:08:35 +00:00
..
scripts	maintainer scripts: fix hydra-eval-failures script	2019-09-13 23:33:38 -04:00
maintainer-list.nix	maintainer: mimadrid: update github username and personal data	2019-09-14 12:15:46 +02:00