01.05.02

Martin Killenberg

@martin.killenberg

6b1786bf · increased patch level · Jul 22, 2019

New PATCH release 01.05.02

Changes since 01.05.01:
- Server now correctly works with host names (was only IP addresses before)