mirrors: remove obsolete mysql mirror

It does not contain any of the versions currently in Nixpkgs.
2018-05-29 13:41:23 +00:00
parent 50c82704a8
commit 5ac2382487
1 changed files with 0 additions and 1 deletions
@@ -368,7 +368,6 @@ rec {

  # MySQL mirrors
  mysql = [
-    http://mysql.mirrors.pair.com/Downloads/
    http://cdn.mysql.com/Downloads/
  ];