Merge remote-tracking branch 'tor-github/pr/1329'

This commit is contained in:
Nick Mathewson
2019-10-16 12:31:47 -04:00
2 changed files with 4 additions and 3 deletions
+3
View File
@@ -0,0 +1,3 @@
o Minor bugfixes (developer tools):
- Allow paths starting with ./ in scripts/add_c_file.py. Fixes bug
31336; bugfix on 0.4.1.2-alpha.