I have a problem here today that I can't explain. At some point during
the night, two different Fortigates, at two different sites on two
different internet connections on different carriers, stopped being able
to ping the google primary DNS server. ...
