[R46] Update coron-4.2 reference.