[tor-relays] Fallback directory mirror DFRI7 is dead

[Linus Nordberg]

Hi teor,

Fallback directory mirror DFRI7 [0] is down, due to multiple disk
krashes, since about 30h and will not come alive with the same key.

[0] 171.25.193.131:80 orport=443 id=79861CF8522FC637EF046F7688F5289E49D94576

A new DFRI7 will appear on the same address and port within a couple of
days. Should I simply update fallback_dirs.inc?