15.20. Version 4.2.12 (2013-04-12)

This is a maintenance release. The following items were fixed and/or added: