Is this commit in the official repo?