4.2.2 release

[Martin Sebor]

I think we should think about cutting a 4.2.2 release sometime this
month. It's been embarrassingly long since 4.2.1. Farid (or anyone
else), do you have anything that you'd like included in it?

Martin