Re: [PATCH v2 0/1] MR7531: winedump: fix grep warning - closed

[Robert Lippmann (＠rlippmann)]

This merge request was closed by Robert Lippmann.
-- 
https://gitlab.winehq.org/wine/wine/-/merge_requests/7531