Update for jdk 20 build.
authorNot Zed <notzed@gmail.com>
Tue, 9 May 2023 23:27:54 +0000 (08:57 +0930)
committerNot Zed <notzed@gmail.com>
Tue, 9 May 2023 23:27:54 +0000 (08:57 +0930)
commitc6eda7833d44048019010aa9e44e6105a94cb1f3
tree52aeb36b5e4abb7e894283d9e66c9934837a70db
parentf0f00d5cf8aa02470911d0709c0ebd8f4996bbe1
Update for jdk 20 build.
config.make.in