From 5416764242e0cc505acd31368ab155cc00891179 Mon Sep 17 00:00:00 2001
From: Peter Palfrader <peter@palfrader.org>
Date: Tue, 21 May 2013 17:58:52 +0200
Subject: [PATCH] ravel is a static-source

---
 modules/debian-org/misc/local.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/debian-org/misc/local.yaml b/modules/debian-org/misc/local.yaml
index a50b2e5fb..0a7333997 100644
--- a/modules/debian-org/misc/local.yaml
+++ b/modules/debian-org/misc/local.yaml
@@ -301,6 +301,7 @@ host_settings:
     - master.debian.org
     - ries.debian.org
     - franck.debian.org
+    - ravel.debian.org
     - senfl.debian.org
     - wolkenstein.debian.org
   weblog_provider:
-- 
2.20.1