On 12/1/20 8:57 PM, Jakub Jelinek wrote:
Would be better to use \[^\n\r]\* instead of .*, with .* you can match parts
even from completely different parts of the dump file.

Thank you Jakub! I've just pushed a patch with that.

Martin

Reply via email to