On Tue, 5 Dec 2023 10:56:44 GMT, Jaikiran Pai <j...@openjdk.org> wrote:
>> Jaikiran Pai has updated the pull request incrementally with one additional >> commit since the last revision: >> >> remove micro optimization > > Thank you Stefan and Leonid for the reviews. Sorry I missed this party :) Thanks for finding and fixing @jaikiran . FWIW `exitCode` out numbers `exitValue` in source code 3:1 (and > 5:1 in test code). ------------- PR Comment: https://git.openjdk.org/jdk/pull/16919#issuecomment-1841951455
