Re: May the fix be with you (status update #4)

[Dekel Tsur]

On Tue, Oct 17, 2000 at 08:17:42PM +0200, Dekel Tsur wrote:
> On Tue, Oct 17, 2000 at 03:55:19PM +0200, Jean-Marc Lasgouttes wrote:
> > 
> > - increase limit on the number of menus from 32 to 128 (useful for
> >   documents with many sections of labels).
> 
> You forgot to changed the value of max_number_of_menus in menus.C !

Actually, I've misread the code. It is OK.