From b5967babb15e165b72bf0e10b79f562112f105d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Peter=20M=C3=BCller?= <munter@fumle.dk>
Date: Sun, 17 Dec 2017 22:41:33 +0100
Subject: [PATCH] Switch google analytics to always use https, since they
 redirect theselves

---
 docs/js/ga.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/js/ga.js b/docs/js/ga.js
index 6e3ff1949b..b310cf7085 100644
--- a/docs/js/ga.js
+++ b/docs/js/ga.js
@@ -1,7 +1,7 @@
 (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
 (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
 m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
-})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
+})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
 
 ga('create', 'UA-65024936-1', 'auto');
 ga('send', 'pageview');