Update version number to 4.2 in config.

Authored by woltherav on May 3 2019, 3:29 PM.

Description

Update version number to 4.2 in config.

Details

Committed
woltheravMay 3 2019, 3:29 PM
Parents
R1012:e5875eaf51c7: Update manual_cover with version.
Branches
Unknown
Tags
Unknown