Merge remote branch 'pkern/master'

* pkern/master:
  debian-org: drop malo as a buildd

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index 709cbd0012e81c4c8e08a91efc2ea02e77d3aacb..f6eda96a7b67f9d23eea5046ce5efa7d4f327cb7 100644 (file)
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -206,7 +206,6 @@ host_settings:
     - krenek.debian.org
     - lebrun.debian.org
     - lucatelli.debian.org
-    - malo.debian.org
     - mayer.debian.org
     - mayr.debian.org
     - mundy.debian.org