Re: [PATCH] gcov-io.h: fix comment regarding length of records

[Jose E. Marchesi]

> On 10/24/23 06:41, Jose E. Marchesi wrote:
>> The length of gcov records is stored as a signed 32-bit number of
>> bytes.
>> Ok?
> OK.

Pushed.  Thanks.