Bo Peng wrote: > My suggestion is to remove this menu item for now (and only under > windows), using the following patch. How to properly fix this issue is > something for Jose/Jurgen to decide.
I think if the boost issue can not be sorted out quickly and reliabaly, we should revert to the 1.4 method and release 1.5.1, rather than removing the option. I think that such a severe (and embarrassing) bug judges a maintenance release. Different installer versions of 1.5.0 would only raise the confusion. Jürgen
