Re: patch for clifford.cpp