Akim Demaille wrote: > The following changes aim at simplifying a bit the release procedure. > And to make more rules silent. > > Jim, I thought you had installed your simplification patch, but I > can't see it. Do you want me to install it?
I went to lunch :-) Pushed now.
