mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-22 16:37:28 +00:00
Amend bd6d09fc
Was forgetting this.
This commit is contained in:
parent
7b3404fcab
commit
92c4bb4682
@ -111,7 +111,7 @@ def legacy_extract_metrics_info(log_file):
|
||||
if match == None:
|
||||
continue
|
||||
|
||||
snippet = (match.group(1) == 'S')
|
||||
snippet = (match.group(1) == b'S')
|
||||
success = 1
|
||||
match = data_re.search(line)
|
||||
if match == None:
|
||||
|
Loading…
x
Reference in New Issue
Block a user