>Given that boost.random does not have an active maintainer, who could take
>a look into this?
There has been some private discussion going on in the background. Hopefully there will be an announcement within a day or two.
In the meantime, keep posting any fixes here - they are definitely appreciated!
--Beman
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost