diff .hgtags @ 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 56ead48cfe88
children 2d3ed138ce65 fecd73db563f
line wrap: on
line diff