Hmm, I must have read the git log five times without noticing that commit. Read three more times after you mentioned it. Time to get a new pair of glasses.