Release version 2.3.1

Bugfixes:
* Fixes a regression leading to incorrect detection of Safari.
This tag has no release notes.