v6.3.1.2

6.3.1.2 - 2020-09-16

• Silly cut'n'paste error that should have been caught with more testing before the 6.3.1.1 release, not the day after. Fixed in commit 2e322b3 by @epugh.