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

This commit is contained in:
Nick Mathewson
2020-01-28 08:15:21 -05:00
2 changed files with 6 additions and 0 deletions
+2
View File
@@ -0,0 +1,2 @@
o Minor features (continuous integration):
- Run Doxygen Makefile target on Travis. Closes ticket 32455.