tree 625f6d80484e5a692fcf6e16560fd038ba501afb
parent 5438968d639bb49b0661a90aa3f114c97b6378da
author Tim Windelschmidt <tim@monogon.tech> 1712110017 +0200
committer Tim Windelschmidt <tim@monogon.tech> 1712759824 +0000

metropolis/node: add metrics ports to reserverd ports list

I forgot to add these when implementing their functionality, woops.

Change-Id: I316f0c44577f22ea7f911424f0b8437466a99170
Reviewed-on: https://review.monogon.dev/c/monogon/+/2913
Tested-by: Jenkins CI
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>