Friday, April 17, 2020

I worked on #3589, but didn’t yet publish my changes. See Saturday, April 18, 2020.

Sphinx glossary terms to respect the case

I worked quite some time on #3592, which is caused by a change in Sphinx, which now requires glossary terms to respect the case (https://www.sphinx-doc.org/en/master/changes.html#release-3-0-1-released-apr-11-2020)