jungfrau server: minor change

This commit is contained in:
2019-01-07 12:06:04 +01:00
parent dc80dccb8a
commit 615dd2a84f
2 changed files with 0 additions and 1 deletions