24 Sep
2015
24 Sep
'15
6:02 a.m.
Should I create a pull request on github instead?
Note that the static linking magic works on Windows and Linux but not BSD (but that's no regression).
OK, I created a pull request on github. It also includes a bug fix as compared to my previous email.
—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org He who says he will die for a cause will probably lie for it and may kill for it. — John McCarthy