> 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
