Re: Problem packaging gnujump for practice

[Theodotos Andreou <theo@ubuntucy.org>]

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?45375
>
> A 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.