Update pin.pref.epp
authorpaladox <paladox@users.noreply.github.com>
Thu, 21 Jun 2018 13:26:34 +0000 (14:26 +0100)
committerGitHub <noreply@github.com>
Thu, 21 Jun 2018 13:26:34 +0000 (14:26 +0100)
templates/pin.pref.epp

index 9503adf38a06a17c65c3492561c39253407d1b77..29082e8a66864f43a628d056d68d65708bf7ac7f 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 {
+if $pin_release != '' {
   $options = [
     if $release != ''         { "a=${release}" },
     if $codename != ''        { "n=${codename}" },