On 24 July 2014 22:15, Ulrich Drepper wrote: > 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.
That would be great, thanks!
