Pushed. Thanks, and closing. Next time please use the usual ChangeLog format (it was close, but not quite).
Kaushal Modi