From: Georgi Gerganov <redacted>
Date: Mon, 10 Oct 2022 06:13:31 +0000 (+0300)
Subject: Merge pull request #36 from Topping1/master
X-Git-Tag: upstream/1.7.4~1968
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=eac4f127774f54a5a186d3aa9a33252a6ff59e93;p=pkg%2Fggml%2Fsources%2Fwhisper.cpp

Merge pull request #36 from Topping1/master

Fix SRT timestamp format from mm:ss.sss to hh:mm:ss.sss
---

eac4f127774f54a5a186d3aa9a33252a6ff59e93