Please note that I have no control or say on the build of the Joomla! CMS itself. I submitted my patch to the Joomla! folks and they are supposed to have included it in the new Joomla! version. Just like you I don't see it being actually included in Joomla! 3.3.2. Most likely they made a build error of the Joomla! packages.
I will meet up with the people who build the Joomla! packages over the weekend, as I am taking part in the Joomla! Bug Squash sprint. I will raise this issue with them. I am sure it wasn't intentional. Most likely my PR was merged against the wrong Git branch. Crap happens...
Nicholas K. Dionysopoulos
Lead Developer and Director
🇬🇷Greek: native 🇬🇧English: excellent 🇫🇷French: basic • 🕐 My time zone is Europe / Athens
Please keep in mind my timezone and cultural differences when reading my replies. Thank you!