Viewing all changes in revision 8731.
- Committer: Wideland's Bunnybot
- Date: 2018-06-12 07:23:25 UTC
- mfrom: (8730.1.2 bug-1776008-boost-deleted-uuid-function)
- Revision ID: bunnybot@widelands.org-20180612072325-hrzqkbw4de9eqcwv
Merged lp:~widelands-dev/widelands/bug-1776008-boost-deleted-uuid-function:
Removing explicit assignment when creating random UUID generator.
Removing explicit assignment when creating random UUID generator.
- files modified:
- src/random/random.cc
expand all
collapse all
added
removed
