Added tag jdk-15+25 for changeset 588330449887

This commit is contained in:
Jesper Wilhelmsson 2020-05-28 08:23:00 +02:00
parent 4aea73361d
commit 60ce159dad

@ -635,3 +635,4 @@ dd5198db2e5b1ebcafe065d987c03ba9fcb50fc3 jdk-15+17
7223c6d610343fd8323af9d07d501e01fa1a7696 jdk-15+22
f143729ca00ec14a98ea5c7f73acba88da97746e jdk-15+23
497fd9f9129c4928fd5a876dd55e0daf6298b511 jdk-15+24
58833044988772ca06c97ab2f142474a8627af80 jdk-15+25