GA: Anonymize IPs.

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index 6afac5292c7fef6c3bbaa22f431a029cf445f3d1..31532915281bb3c22e483bf8e1fe47c88add1176 100644 (file)
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -58,5 +58,6 @@
   m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
   })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
   ga('create', 'UA-146052-10', 'getbootstrap.com');
+  ga('set', 'anonymizeIp', true);
   ga('send', 'pageview');
 </script>