"David House" <dmhouse at gmail.com> writes: > I just did a `git pull' and it seems someone's committed a syntax > error. This patch fixes it. Oh thank you. Careless error on my part. --John