Merge pull request #10292 from mikeller/updated_maintenance_branch_to_4_2_5
commitfa4454bfdc062b55884592f03f99b1c31cfa1628
authorMichael Keller <github@ike.ch>
Wed, 21 Oct 2020 16:04:09 +0000 (22 05:04 +1300)
committerGitHub <noreply@github.com>
Wed, 21 Oct 2020 16:04:09 +0000 (22 05:04 +1300)
tree14b1368602ad6c50746e0fc8836b6a7fa2b43607
parentfbcaf8c500924d79e7cf4300d9e4712c68abfbd9
parent8e8796628b7220390692039c14c2de333b511fd3
Merge pull request #10292 from mikeller/updated_maintenance_branch_to_4_2_5

Incremented maintenance branch version to 4.2.5.