We don't like having long-running unmerged patches so may hold off merging until we hear back from him.