Merge pull request #1996 from jwillemsen/jwi-Properties_Encoder
commit34a585c202d9f981ccec58aff6d26ce2ccf81d05
authorJohnny Willemsen <jwillemsen@remedy.nl>
Wed, 14 Dec 2022 15:19:19 +0000 (14 16:19 +0100)
committerGitHub <noreply@github.com>
Wed, 14 Dec 2022 15:19:19 +0000 (14 16:19 +0100)
tree0369f85be376e15756a8b3c75ddca9fe65a0d013
parent942a6dacf28d97f95cea8efcf6e4d052253392c9
parent167bdcb15282991d199f2fdb1b2c0827187d77c3
Merge pull request #1996 from jwillemsen/jwi-Properties_Encoder

Fix MinGW linker error, document changes for next release