On Fri, Dec 18, 2020 at 11:32:17AM +0100, Alejandro Colomar (man-pages) wrote:
> Hi Omar,
>
> Linux 5.10 has been recently released.
> Do you have any updates for this patch?
>
> Thanks,
>
> Alex
Hi, Alex,
Now that the holidays are over I'm revisiting this series and plan to
send a new version
Hi Omar,
Linux 5.10 has been recently released.
Do you have any updates for this patch?
Thanks,
Alex
On 12/1/20 10:56 PM, Michael Kerrisk (man-pages) wrote:
> Hi Alex,
>
> On 12/1/20 10:35 PM, Alejandro Colomar (man-pages) wrote:
>> Hi Michael,
>>
>> On 12/1/20 9:20 PM, Michael Kerrisk (man-pa
