On Tue, 19 Sep 2023 21:23:40 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
>> That definitely sounds more reasonable. Unfortunate nomenclature on my part. > > I think maybe instead "tempDirSource' and "noTempDirSource." So changed in 50411b85aeefb2576a149ae126b7d55aad6e2be0. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/15757#discussion_r1330726991
