Random: Copy the board to call board_play_random() safely
commitc134df9c7f2e2791eb531c61f5157358fb419842
authorPetr Baudis <pasky@ucw.cz>
Wed, 5 May 2010 11:01:53 +0000 (5 13:01 +0200)
committerPetr Baudis <pasky@ucw.cz>
Wed, 5 May 2010 11:01:53 +0000 (5 13:01 +0200)
treef3e7a6ca2f01b9cf1f47329fbb54e8fd3a2dcc75
parentdccbd1e8f06f19fbefb86fedaa6f2776a64cdd70
Random: Copy the board to call board_play_random() safely

This reverts 23ab252be0587898a851e932e62eaf088c03aed0.
random/random.c