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