OK kn with the manual's synopsis (`man -h rpki-client') updated as well.

Reply via email to