bug #617757 is fixed, in the same way I proposed.
bug #617591 is fixed as "Big Muscle" proposed in bug notes. It is better than in my patch. The only drawback is that boost/recursive_mutex.hpp is not garanteed to be header-only.
So, I consider this two bugs are fixed.
bug #617757 is fixed, in the same way I proposed.
bug #617591 is fixed as "Big Muscle" proposed in bug notes. It is better than in my patch. The only drawback is that boost/recursive _mutex. hpp is not garanteed to be header-only.
So, I consider this two bugs are fixed.