Davide De Rosa 0f2234f1d1 Assume stale session if server sends HARD_RESET ... When unsolicited.		2019-07-09 11:42:12 +02:00
..
Sources	Assume stale session if server sends HARD_RESET	2019-07-09 11:42:12 +02:00