On 24 July 2014 22:15, Ulrich Drepper wrote: > On Wed, Jul 23, 2014 at 6:29 AM, Jonathan Wakely <[email protected]> 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!
