Update debian/changelog for release 4.0.2