Bug#720548: xboard: does not store time settings in configuration file

reopen 720548 forwarded 720548 https://savannah.gnu.org/bugs/index.php?40161 thanks folkert writes: >> > I always set time management to x seconds per move. >> > Then I click on save settings. >> > But after an xboard restart the settings are reset to the defaults. >> >> I believe this has been

Bug#720548: xboard: does not store time settings in configuration file

Package: xboard Version: 4.6.2-1 Severity: normal I always set time management to x seconds per move. Then I click on save settings. But after an xboard restart the settings are reset to the defaults. -- System Information: Debian Release: 7.0 APT prefers stable APT policy: (500, 'stable'),