According to the manual, the R key should set a red pin. Instead, it restarts the game. This bug has been fixed in CVS, but no release has been made since. Maybe we should patch mastermind.c. Reproducible: Always Steps to Reproduce: 1. Start mastermind 2. Set a few pins 3. Press R key to set a red pin Actual Results: Game is restarted Expected Results: Red pin should be set
Thanks.