From 18bb4da76c6a7d3197728ddfab19a8f6925fca56 Mon Sep 17 00:00:00 2001 From: Wick Date: Fri, 25 Jan 2019 11:28:39 +0100 Subject: [PATCH] Merge branch 'master' into fix-glossary-anchors