Merge pull request #142644 from Mic92/dino

dino: remove mic92 as maintainer
This commit is contained in:
Bobby Rong 2021-10-23 22:05:22 +08:00 committed by GitHub
commit c1981eb51e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -83,6 +83,6 @@ stdenv.mkDerivation rec {
homepage = "https://github.com/dino/dino"; homepage = "https://github.com/dino/dino";
license = licenses.gpl3Plus; license = licenses.gpl3Plus;
platforms = platforms.linux ++ platforms.darwin; platforms = platforms.linux ++ platforms.darwin;
maintainers = with maintainers; [ mic92 qyliss ]; maintainers = with maintainers; [ qyliss ];
}; };
} }