From 864302a0915bebd522a2bf68b37e210ea243af17 Mon Sep 17 00:00:00 2001
From: Matthias Pigulla <mp@webfactory.de>
Date: Wed, 2 Nov 2011 10:28:38 +0100
Subject: [PATCH] Set the pin priority before adding the source (Fix #10449)

---
 manifests/source.pp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manifests/source.pp b/manifests/source.pp
index 56a8005..65afefd 100644
--- a/manifests/source.pp
+++ b/manifests/source.pp
@@ -26,7 +26,7 @@ define apt::source(
   }
 
   if $pin != false {
-    apt::pin { "${release}": priority => "${pin}" }
+    apt::pin { "${release}": priority => "${pin}" } -> File["${name}.list"]
   }
 
   exec { "${name} apt update":
-- 
2.45.2