[Gnu-arch-users] --skip-present merged

[Tom Lord]

I should add that the merge is not a pure merge -- so if you already
have --skip-present, don't use it to merge --skip-present :-)

-t