Merge branch 'dev' into '2.7'

Dev

See merge request federez/re2o!398
1 job for 2.7 in 5 minutes and 28 seconds (queued for 1 second)
Status Job ID Name Coverage
  Lint
passed #1815
lint

00:05:28