Release 2013-05-06: See CHANGES.txt for details