maxima-commits mailing list down?



The maxima-commits mailing list seems to be down.  Last message is from 
Mario Rodriguez Riotorto on 2012-06-09. There have been at least three 
commits since then.