git: openjdk/jdk13u-dev: Added tag jdk-13.0.8+2 for changeset 0b0db80d

[duke]

Tagged by: Yuri Nesterenko <yan at azul.com>
Date:      2021-05-14 14:52:12 +0000

Added tag jdk-13.0.8+2 for changeset 0b0db80d
Changeset: 0b0db80d
Author:    Ilarion Nakonechnyy <Ilarion at azul.com>
Committer: Yuri Nesterenko <yan at openjdk.org>
Date:      2021-05-14 10:45:40 +0000
URL:       https://git.openjdk.java.net/jdk13u-dev/commit/0b0db80d1283741205950136e8d9f89af3933e88