Re: new command-line option -nextgc-factor

[Bruno H. <br...@cl...>]

Hi Don,

>  > I don't want to document this option, because the default GC frequency
>  > is completely sufficient for the average user.
> 
> You do have a section on debugging (also gc) in impnotes.
> Why not include what you wrote in this message there?

Thanks for the suggestion. Done.

> And in the doc for command line arguments refer to
> the appropriate section of impnotes.

No. I don't want to make this command-line option too widely known.

Bruno