We would have to look at the logs but most likely the Primary noticed that the secondary was dead and placed itself in a degraded state. Also I recommend to use build 6335 6135 was pulled off, not due to the Auto Failover.