[MacPorts] #65590: Update to OpenJDK 13.0.12

[MacPorts]

#65590: Update to OpenJDK 13.0.12
--------------------+-----------------------
 Reporter:  breun   |      Owner:  (none)
     Type:  update  |     Status:  new
 Priority:  Normal  |  Milestone:
Component:  ports   |    Version:
 Keywords:          |       Port:  openjdk13
--------------------+-----------------------
 The `openjdk13` port should be updated to 13.0.12:
 https://github.com/openjdk/jdk13u/releases/tag/jdk-13.0.12-ga

-- 
Ticket URL: <https://trac.macports.org/ticket/65590>
MacPorts <https://www.macports.org/>
Ports system for macOS