Corrections, cherry-pick, rebase -i, historiques divergents

1 job for plan in 14 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #375699
docker
beamer-build

00:00:14