Release version 0.4.2
Release version 0.4.3
Note that 0.4.2 is gone
Merge remote-tracking branch 'origin/master'