Maxima 5.20 release branch planned for Dec 1



Hello,

I'm planning to make a branch for the Maxima 5.20 release on Dec 1,
with a stable release a few weeks after that.
So if you developers want to get something into the next release,
now is the time to do it.

best

Robert Dodier