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
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