Reply to this email directly or view it on GitHub.
Hum… I'd be in favor of "(2) Remove the anon_* renaming patches completely." I guess, to keep things consistent and simple -- but possibly I'm partial due to the fact I barely ever sort by line in programming languages :)
Yes, I agree this is the best option, will remove the patch.
—
Reply to this email directly or view it on GitHub.