Merge pull request #13871 from tru7/libfmt
authorMichael Heimpold <redacted>
Sat, 7 Nov 2020 16:36:49 +0000 (17:36 +0100)
committerGitHub <redacted>
Sat, 7 Nov 2020 16:36:49 +0000 (17:36 +0100)
libfmt: bump to version 7.1.2


Trivial merge
git clone https://git.99rst.org/PROJECT