-
Tails developers authored
This one *really* fetches only the header by default, which it was supposed to do before, and is what we want it to do.
e4082924
This one *really* fetches only the header by default, which it was supposed to do before, and is what we want it to do.