Skip to content

maj des priorités en accord avec ce qu'on a en base

b_b requested to merge gh-77911e19/4/unknown/refs/pull/4/head into master
  1. core & 20. extensions ont été fusionnées dans 09. core - plugins-dist

Mais peut-être qu'il serait plus simple/direct de coller ça dans https://git.spip.net/spip-contrib-extensions/trad-lang/src/branch/master/tradlang_options.php#L25 ping @Bennyb & @cerdic

Merge request reports