[R40] Update coron-4.2 reference repository.