Version 2019 R4.2: Maintenance release

This is a maintenance release with enhancements and bugfixes. For a complete list of changes, see the release history.