Re: [alexandria-devel] Bug in gaussian-random