Merge branch 'dormitory_port_profile' into 'dev'

Dormitory port profile

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

00:03:20