2.4.1

[Richard Kimberly Heck]

We do not seem to have had any panicked reports of crashes. Yea! So I 
propose to merge 2.4.1-devel into 2.4.x and plan to release 2.4.1 at the 
end of the month. We have quite a few fixes already in the pipeline. OK?

Otherwise, I'm going to try working to some kind of release schedule, of 
the sort that José suggested. So 2.4.2 would be expected two months 
later (beginning of September) and then 2.4.3 three months later (start 
of December), unless we have enough fixes to do an earlier release.

Riki