On Wed, Jul 23, 2014 at 6:29 AM, Jonathan Wakely <jwak...@redhat.com> wrote:
> As an aside, we already have divide-by-zero bugs in <ext/random>, it
> would be nice if someone could look at that.

I'll take a look at this soon.

Reply via email to