Leo Famulari <[email protected]> writes: > I didn't mean to push this before emailing — especially the update > patch. Sorry! > > I'm not sure how to revert while being sure not to screw > other users' checkouts (or Hydra's checkout) so I'll wait for any > instructions.
The only safe way to revert is to “git revert” and push again. This results in two commits: one that performs the change, and another that undoes it. I don’t think it’s necessary here, though, as the patch looks fine to me. ~~ Ricardo
