From: Georgi Gerganov <redacted>
Date: Mon, 10 Oct 2022 05:05:57 +0000 (+0300)
Subject: Merge pull request #34 from tazz4843/master
X-Git-Tag: upstream/1.7.4~1970
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=6e29d8453cb805d055d25149076022deaaf20705;p=pkg%2Fggml%2Fsources%2Fwhisper.cpp

Merge pull request #34 from tazz4843/master

Add static library make target
---

6e29d8453cb805d055d25149076022deaaf20705