<div dir="ltr">Unfortunately, I left out a "Patch by.." line in the last commit, and would like to add it.<div><br></div><div>I can do it locally, but can I `git llvm push` it?</div><div><br></div><div>thanks in advance...</div><div>don</div></div>