bug33284 214 B

1234
  1. o Minor bugfixes (git scripts):
  2. - Stop executing the checked-out pre-commit hook from the pre-push hook.
  3. Instead, execute the copy in the user's git dir. Fixes bug 33284; bugfix
  4. on 0.4.1.1-alpha.