Skip to the content.

Summary

The 4.2 release is very a minor maintenance release over 4.1.

Enhancements

Bug Fixes