[release] pungi 4.2.0