[do not merge]

update version to 4.2.42