Merge branch 'full_archive' into 'dev'

Full archive

See merge request federez/re2o!414
1 job for dev in 3 minutes and 10 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Lint
passed #1661
lint

00:03:10