15.17. Version 4.2.18 (2013-09-06)

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