Update pin.pref.epp
authorpaladox <paladox@users.noreply.github.com>
Thu, 21 Jun 2018 11:22:30 +0000 (12:22 +0100)
committerGitHub <noreply@github.com>
Thu, 21 Jun 2018 11:22:30 +0000 (12:22 +0100)
templates/pin.pref.epp

index 2a9f45e141364dcd55573f6b6d9a5444e61c8f2c..192356b28aa57d84b09e7029578d24ba229f0c53 100644 (file)
@@ -1,7 +1,7 @@
 <%- | $name, $pin_release, $release, $codename, $release_version, $component, $originator, $label, $version, $origin, $explanation, $packages_string, $priority | -%>
 <%-
 $pin =
-if $pin_release and $pin_release.length > 0
+if $pin_release and $pin_release.length > 0 {
   $options = [
     if $release         { "a=${release}" },
     if $codename        { "n=${codename}" },