01/03: berlin: Add mumi service.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit 24ed2bbbff308968afed8df94745f3aadca091e1
Author: Ricardo Wurmus <address@hidden>
AuthorDate: Fri Mar 6 17:29:54 2020 +0100

    berlin: Add mumi service.
    
    * hydra/berlin.scm <operating-system>[services]: Add
    mumi-service-type.
---
 hydra/berlin.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index 4d107eb..768a2fe 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -302,6 +302,7 @@ fastcgi_param PHP_VALUE \"post_max_size = 16M
 
              ;; GWL web site.
              (service gwl-web-service-type)
+             (service mumi-service-type)
 
              (frontend-services %sysadmins
                                 #:systems '("x86_64-linux" "i686-linux"