diff options
Diffstat (limited to 'hosts/jenkins')
| -rw-r--r-- | hosts/jenkins/etc/aliases | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hosts/jenkins/etc/aliases b/hosts/jenkins/etc/aliases index c968028c..d27b9da4 100644 --- a/hosts/jenkins/etc/aliases +++ b/hosts/jenkins/etc/aliases @@ -1,3 +1,3 @@ # See man 5 aliases for format postmaster: root -root: holger@layer-acht.org, helmutg@debian.org, mattia@mapreri.org +root: holger@layer-acht.org, mattia@mapreri.org |