mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-23 04:24:49 +02:00
Merge
This commit is contained in:
commit
c53bbad396
1 changed files with 1 additions and 1 deletions
|
@ -7,7 +7,7 @@ BEGIN {
|
||||||
matched++;
|
matched++;
|
||||||
}
|
}
|
||||||
|
|
||||||
/^[0-9]+ -- process information unavailable$/ {
|
/^[0-9]+ -- .*$/ {
|
||||||
matched++;
|
matched++;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue