use int instead of time_t to print timezone info
authorVladimir Petko <vladimir.petko@canonical.com>
Thu, 23 Oct 2025 10:14:51 +0000 (12:14 +0200)
committerMoritz Mühlenhoff <jmm@debian.org>
Thu, 23 Oct 2025 10:14:51 +0000 (12:14 +0200)
commit27ddea12962d084c8e384e7edaa526b7afc5325f
treefcee327c913713660683fad295d282467bf59a4e
parent9ebb13d5b0c20d67d81d1cff4bad430019620bcc
use int instead of time_t to print timezone info

Bug: https://bugs.openjdk.org/browse/JDK-8334502
Last-Update: 2024-06-19

printf() call uses %02d format specifier that requires an int parameter.

Gbp-Pq: Name jdk-8334502-proposed.patch
src/hotspot/share/runtime/os.cpp