On Thu, 25 Aug 2022 16:33:57 GMT, Severin Gehwolf <[email protected]> wrote:
>> I've pushed a small excerpt of the changes from #9880 in >> 1bf3aa341fd93079289f11e620938e6bed40b382 to this PR in order to add the log >> lines that the tests depend on. > > We cannot have this in both PRs, though. Indeed: even without this addition, the other one will merge conflict with this PR (assuming this one is merged first). So I can deal with the duplication when I resolve the conflict. ------------- PR: https://git.openjdk.org/jdk/pull/10017
