[Commits] [wesnoth/wesnoth] 442aec: Use boost::random_device for seeding the default R...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 442aec7ce198729e3c4811412a92df0215048320
      https://github.com/wesnoth/wesnoth/commit/442aec7ce198729e3c4811412a92df0215048320
  Author: Jyrki Vesterinen <sandgtx at gmail.com>
  Date:   2016-10-16 (Sun, 16 Oct 2016)

  Changed paths:
    M src/random_new.cpp

  Log Message:
  -----------
  Use boost::random_device for seeding the default RNG

And use std::mt19937 as the RNG backend instead of boost::mt19937.