Properly account del_extra_files and add the value to the json header.
authorclaudio <claudio@openbsd.org>
Fri, 26 May 2023 14:57:38 +0000 (14:57 +0000)
committerclaudio <claudio@openbsd.org>
Fri, 26 May 2023 14:57:38 +0000 (14:57 +0000)
commit1438586ae9958ee1fe32be1c1acfa19b639d918f
tree449b56dc97a760198d0c61430e01c528babbd33f
parent57f93a0c9b9e238370e028633aa58de8fdcf4bca
Properly account del_extra_files and add the value to the json header.
OK tb@ (from a larger diff)
usr.sbin/rpki-client/main.c
usr.sbin/rpki-client/output-json.c