@teleological, I do not see a change.  Am I missing something?  (I also checked in the repo from the commandline)