lemon/bits/mingw32_rand.cc
changeset 2107 e1055232c670