Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

  • MARCHE Claude's avatar
    ITP: transformations with args only take strings as arguments · 63f6b075
    MARCHE Claude authored
    "parsing" of these strings is delayed in the transformations themselves,
    because in case such an argument must be interpreted as a term, the
    task itself is needed do perform name resolution.
    
    Incidentally, saving transformations with arguments in sessions is not an
    issue anymore
    63f6b075
session_itp.mli 4.6 KB