Re: [Tails-dev] Tails Design - gpg

> But...

Thanks, fixed.

Looks like we've not always be strict at updating the design doc when
we change things. I think we're doing better these days, thanks to the
merge policy that now requires the design doc update to be part of the
branch *before* it's merged.