git: openjdk/jdk: Added tag jdk-20+31 for changeset 945ef075

[jwilhelm]

Tagged by: jwilhelm <jwilhelm at openjdk.org>
Date:      2023-01-12 06:54:53 +0000

Added tag jdk-20+31 for changeset 945ef075
Changeset: 945ef075
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
Date:      2023-01-11 10:31:25 +0000
URL:       https://git.openjdk.org/jdk/commit/945ef07564bb2e7db9743d07d7d9ac7faa3f3d4d