Release of version 4.2.0.