On Tue, 1 Jun 2021 17:46:10 GMT, Alan Bateman <al...@openjdk.org> wrote:
>> Sorry about that. I've changed it now. See 2f179b5 > > This still looks a bit messy because you've got 3 different styles in the one > switch statement. It's okay to drop FileTime from the patch if you want as > it's not worth spending time on. OK, if you prefer. I've reverted the changes now. See commit 23f53c5 ------------- PR: https://git.openjdk.java.net/jdk/pull/4285
