Release 4.2 from master

[David Siñuela Pastor]

Hi @frerich, could you please tag a new version for release?

There are some changes in master since November that are not included in any stable release. My colleagues have been using master for a while and report that it works better than 4.1 so it would be nice to have an official release.

Thanks!

[Frerich Raabe]

I just released 4.2.0 earlier today. :-)

[David Siñuela Pastor]

@frerich Thanks a lot!