Add DEVEL=F17 patch

0001-Set-DEVEL-to-F17.patch

@@ -0,0 +1,25 @@
+From 0141fecf12689d6a08cad9629acad34bb31b13f7 Mon Sep 17 00:00:00 2001
+From: "Brian C. Lane" <bcl@redhat.com>
+Date: Thu, 9 Aug 2012 11:22:36 -0700
+Subject: [PATCH] Set DEVEL to F17
+
+---
+ pykickstart/version.py |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/pykickstart/version.py b/pykickstart/version.py
+index 75593b4..0118261 100644
+--- a/pykickstart/version.py
++++ b/pykickstart/version.py
+@@ -75,7 +75,7 @@ F18 = 16000
+ RHEL7 = 15100
+ 
+ # This always points at the latest version and is the default.
+-DEVEL = F18
++DEVEL = F17
+ 
+ # A one-to-one mapping from string representations to version numbers.
+ versionMap = {
+-- 
+1.7.7.6
+