chiark / gitweb /
Fixing Integer Overflow in nlopt_srand_time