New PATCH release 01.07.01 Changes since 01.07.00: - Properties are invalidated on each disconnect (voluntary or through fault) (solves #7476) - Send an empty error message at server start to get rid of old and stale error messages (solves #7539) - Server not crashing on std::exceptions any more (solves #7475) - Set and clear invalidity flag for all data which is read from the server (solves #7540)