Re: Adding stuff to mathoms.c is now simplified, generalized

Dave Mitchell wrote:
> Unless anyone objects, I think we should
> 
> 1) empty mathoms in blead now;
> 2) if no problems occur, add it as a new post-major-release step in the
> RMG.

How about being kind to the release manager and waiting until after
Friday's release?  Otherwise, I have no objection.

• Adding stuff to mathoms.c is now simplified, generalized by Karl Williamson
• Re: Adding stuff to mathoms.c is now simplified, generalized by bulk 88
• Re: Adding stuff to mathoms.c is now simplified, generalized by Dave Mitchell
• Re: Adding stuff to mathoms.c is now simplified, generalized by Karl Williamson
• Re: Adding stuff to mathoms.c is now simplified, generalized by Dave Mitchell
• Re: Adding stuff to mathoms.c is now simplified, generalized by Craig A. Berry
• Re: Adding stuff to mathoms.c is now simplified, generalized by Father Chrysostomos
• Re: Adding stuff to mathoms.c is now simplified, generalized by Nicholas Clark
• Re: Adding stuff to mathoms.c is now simplified, generalized by Dave Mitchell
• Re: Adding stuff to mathoms.c is now simplified, generalized by Karl Williamson
• Re: Adding stuff to mathoms.c is now simplified, generalized by Father Chrysostomos