diff --git a/Build/DistributionUpdate.hs b/Build/DistributionUpdate.hs index 67433c5c5f..920cadb3e8 100644 --- a/Build/DistributionUpdate.hs +++ b/Build/DistributionUpdate.hs @@ -126,7 +126,7 @@ makeinfos updated version = do , distributionKey = k , distributionVersion = bv , distributionReleasedate = now - , distributionUrgentUpgrade = Nothing + , distributionUrgentUpgrade = Just "6.20180626" } liftIO $ writeFile infofile $ formatInfoFile d void $ inRepo $ runBool [Param "add", File infofile]