v2.3.1

Jens Getreu

@getreu

cc54cd2c · prepare v2.3.1 · Apr 04, 2020

documentation: switch docbook toolchain

No changes in source code.