Merge branch 'master' into pk
Passed
pierre.kunzli
created pipeline for commit
abd92514
, finished
5 related merge requests: !6 Pk, !5 Pk, !4 correction recherche parent et ajout sauts slides, !3 Re re correction recherche, !2 Nouvelle correction de l'algo de recherche
3 minutes 13 seconds, queued for 7 seconds