RFR: Fix formatting in sample/time

Per Minborg duke at openjdk.org
Tue Sep 20 11:13:25 UTC 2022


This PR formats the time so that single-digit minutes will look better.

-------------

Commit messages:
 - Fix formatting in sample/time

Changes: https://git.openjdk.org/jextract/pull/73/files
 Webrev: https://webrevs.openjdk.org/?repo=jextract&pr=73&range=00
  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jextract/pull/73.diff
  Fetch: git fetch https://git.openjdk.org/jextract pull/73/head:pull/73

PR: https://git.openjdk.org/jextract/pull/73


More information about the jextract-dev mailing list