From 7d4804ea50b756b8ef0dbc27eda05760abdd936d Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Tue, 11 Feb 2014 12:10:24 +0100
Subject: [PATCH] Apparently the F20 builder was missing from the config file

---
 files/jenkins/master/config.xml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/files/jenkins/master/config.xml b/files/jenkins/master/config.xml
index 2244e7222b..4da63a4193 100644
--- a/files/jenkins/master/config.xml
+++ b/files/jenkins/master/config.xml
@@ -78,6 +78,22 @@ class="jenkins.model.ProjectNamingStrategy$DefaultProjectNamingStrategy"/>
       <label></label>
       <nodeProperties/>
     </slave>
+    <slave>
+       <name>Fedora20</name>
+       <description></description>
+       <remoteFS>/mnt/jenkins/</remoteFS>
+       <numExecutors>2</numExecutors>
+       <mode>NORMAL</mode>
+       <retentionStrategy class="hudson.slaves.RetentionStrategy$Always"/>
+       <launcher class="hudson.plugins.sshslaves.SSHLauncher"
+       plugin="ssh-slaves@0.21">
+         <host>172.16.5.23</host>
+         <port>22</port>
+         <credentialsId>950d5dd7-acb2-402a-8670-21f152d04928</credentialsId>
+       </launcher>
+       <label></label>
+       <nodeProperties/>
+     </slave>
   </slaves>
   <quietPeriod>5</quietPeriod>
   <scmCheckoutRetryCount>0</scmCheckoutRetryCount>