diff auto/os/linux @ 8039:e64a1f32065b

Headers filter: improved memory allocation error handling.
author Maxim Dounin <mdounin@mdounin.ru>
date Mon, 30 May 2022 21:25:57 +0300
parents c0a432c0301b
children ec26874c3f60 ce6d9cf0f567
line wrap: on
line diff