Release version 42.1

42.0 contains a problem with make distcheck, which should now be fixed.
4 jobs for 42.1 in 60 minutes and 5 seconds
latest