2 Nov
2016
2 Nov
'16
11:29 p.m.
On Wed, Nov 2, 2016 at 7:23 PM, Andrey Semashev
There's this PR fixing it:
Yep, but we're coming up on the 1-year anniversary of that pull request, giving me little confidence it will be merged soon or if at all. That's why I'm trying to resolve the problem in my own build scripts.