|Subject:||[Bug-gnubg] Possible small UI simplification|
|Date:||Tue, 18 Aug 2015 22:47:21 +0200 (CEST)|
|User-agent:||Alpine 2.20 (BSF 67 2015-01-07)|
I suppose non-deterministic was implemented first and the other added later, but by now is there still a reason to keep this choice rather than having deterministic noise only ?
|[Prev in Thread]||Current Thread||[Next in Thread]|