server name change

This commit is contained in:
waltem01 2022-06-27 06:49:26 +02:00
parent c8d5d0d77c
commit 64a186f046