On Fri, 23 Oct 2020 11:02:11 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> Maurizio Cimadamore has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Fix whitespaces > > Changes requested by ihse (Reviewer). @magicus the files you commented on are not part of this PR, but they are introduced as part of: https://git.openjdk.java.net/jdk/pull/548 (you seemed to have approved the changes there - but it's also likely that this PR doesn't include the latest changes in that PR). Sorry for the confusion - but please do report any comment you have on the build changes on that PR! ------------- PR: https://git.openjdk.java.net/jdk/pull/634
