Closed jrief closed 1 month ago
@jrief You merge it when ready ;-)
I'd also like to build version 3.1.2. The latest version is from 6 months ago, and since then a few other patches have accumulated.
@jrief Let me try to get a fix for #1463 in today or tomorrow...
Description
Sorry, this a patch to pull request #1464 which was merged too fast.
master