Move skiplist to main and merge with shortlist.
authortb <tb@openbsd.org>
Fri, 18 Nov 2022 14:38:34 +0000 (14:38 +0000)
committertb <tb@openbsd.org>
Fri, 18 Nov 2022 14:38:34 +0000 (14:38 +0000)
commit087f54cd99ce4e0869273b6eeacabf4411b23b15
tree53fb266d3d2d6dea3c648df74bb221e100c57b00
parent3b1c7be10da6dd450454bb160822ab66477c327a
Move skiplist to main and merge with shortlist.

With/ok job
usr.sbin/rpki-client/extern.h
usr.sbin/rpki-client/main.c