Merge branch 'tor-github/pr/720'

2024-12-06 19:41:15 +01:00 · 2019-02-28 12:32:16 +02:00
parent 600f5f0db4 b3b737b875
commit cec555f44c
2 changed files with 29 additions and 9 deletions
@@ -0,0 +1,5 @@
+  o Minor bugfixes (developer tools):
+    - Update our pre-commit.git-hook script to work correctly on older Tor
+      branches and release branches without any changes files,
+      and to actually exit when something fails.  Fixes bug 29553; bugfix on
+      0.4.0.2-alpha.