On 9/21/21 9:17 AM, Almaz Mingaleev wrote:
should backward file's header be updated?
Yes, and this is true regardless of the recent patches since the header
was wrong even before then. Thanks for pointing that out. I installed
the attached proposed comment fix.
