Actually you should always use the DMD version from git-head when contributing to Phobos. If it fails with git-head the pull is not going to get merged at all.