Reviewed-on: #29 Co-authored-by: Julien Palard <julien@palard.fr> Co-committed-by: Julien Palard <julien@palard.fr>
Où je répare mes bêtise du précédent merge. cf. #21 et l'analyse de @ChristopheNan :) Reviewed-on: #22 Co-authored-by: Julien Palard <julien@palard.fr> Co-committed-by: Julien Palard <julien@palard.fr>
J'ai juste exécuté `python merge.py 3.11`. Reviewed-on: #21 Co-authored-by: Julien Palard <julien@palard.fr> Co-committed-by: Julien Palard <julien@palard.fr>