Ineiev - just a stray thought: could it be that the Arabic team leader
was accidentally was trying to commit from an anonymous checkout instead
of a developer checkout?  That would explain why your commit "as him"
worked but his own commit failed.  -k


Reply via email to