From 8e550dfe9aad90f53f37dcdfd5122ac2271ea251 Mon Sep 17 00:00:00 2001
From: David Glasser <glasser@meteor.com>
Date: Fri, 29 Mar 2013 18:03:02 -0700
Subject: [PATCH] add more spacing around banner

---
 tools/updater.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/updater.js b/tools/updater.js
index cb15ce1736..ccfeef3480 100644
--- a/tools/updater.js
+++ b/tools/updater.js
@@ -46,7 +46,9 @@ exports.startUpdateChecks = function (context) {
       if (manifest.releases.stable.banner &&
           warehouse.lastPrintedBannerRelease() !== manifestLatestRelease) {
         // XXX onStdio
+        console.log();
         console.log(manifest.releases.stable.banner);
+        console.log();
         warehouse.writeLastPrintedBannerRelease(manifestLatestRelease);
       } else {
         // Already printed this banner, or maybe there is no banner.