From 9f4b7e8aeadbd19b1b64a73c65798419433c3bb6 Mon Sep 17 00:00:00 2001
From: Marco Ziesing <mail@marco-ziesing.de>
Date: Sun, 28 Jul 2013 19:15:34 +0200
Subject: [PATCH] added No5251.de

---
 No5251.de.xml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 No5251.de.xml

diff --git a/No5251.de.xml b/No5251.de.xml
new file mode 100644
index 0000000..097edba
--- /dev/null
+++ b/No5251.de.xml
@@ -0,0 +1,7 @@
+<ruleset name="#5251" default_off="cacert">
+  <target host="no5251.de"/>
+  <target host="www.no5251"/>
+
+  <rule from="^http://(www\.)?no5251\.de/" to="https://no5251.de/"/>
+</ruleset>
+