release v11.2: R/v4.1.2/extended/v4.0 at date 20250710: from gmillot/r_v4.1.2_extended_v3.3:gitlab_v9.9 with saferDev added
