From 0b07024cc59b48a7f095b750bad1b3906f99895a Mon Sep 17 00:00:00 2001
From: Joe <33972521+hnb-ku@users.noreply.github.com>
Date: Sun, 24 Jun 2018 16:21:02 +0800
Subject: [PATCH] Update header.html

---
 common/header.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/common/header.html b/common/header.html
index 4b261e3..5346aa3 100644
--- a/common/header.html
+++ b/common/header.html
@@ -1,7 +1,6 @@
 <script type="text/discourse-plugin" version="0.8.20">
 api.decorateWidget("home-logo:after", helper => {
   const titleVisible = helper.attrs.minimized;
-  console.log(titleVisible);
   if (titleVisible) {
     $(".headerLink:not(.keep)").hide();
   } else {