* admin/gitmerge.el (gitmerge-missing):