4.2. Customer Reported Defects Since 3.0.1

There are no customer reported defects included in this micro release, apart from the fixes the errata provide.