Merge branch 'tickets' into 'dev'

Tickets

See merge request federez/re2o!427
1 job for dev in 3 minutes and 28 seconds
Status Job ID Name Coverage
  Lint
passed #2549
lint

00:03:28