Update version to 4.2.20
Merge branch '4.2' of https://github.com/CiviCRM42/civicrm42-core into 4.2