On 23/06/2015 06:09 πμ, Paul Wise wrote:
On Tue, Jun 23, 2015 at 1:44 AM, Theodotos Andreou wrote:Filed. Let's see... https://savannah.gnu.org/bugs/index.php?45375A correction, the user config file was not generated during the compile, it was generated when you ran gnujump for the first time.
Oh dear! I submitted a comment to correct it.