/patch-configure/1.7/Fri Mar 11 19:34:58 2022//
/patch-src_etc_script_sympa_in/1.5/Fri Mar 11 19:34:58 2022//
D
