2012/10/23 Darrell Anderson humanreadable@yahoo.com
That is correct. Renaming efforts began after 3.5.13. As 3.5.13.1 is a bug fix patch set to 3.5.13, none of the renaming was back ported. :)
Ok... bye the way, do you plan any version «rebranding»?