Commit 29b4de1d authored by Samuel GAIST's avatar Samuel GAIST

Merge branch 'port-config' into 'master'

server-side port config

Closes #188

See merge request !41
parents 16df11ec bb74d3a9
Pipeline #26154 passed with stages
in 70 minutes and 18 seconds