No matches were found for subject:"Bug#575077\: manpages\-dev\: va_copy manpage doesn't specify the intended behaviour of va_copy"