v4.2.0
de97cb79 · Merge branch 'dev' into 'master' · Oct 19, 2023