Merge branch 'tor-github/pr/1040'

This commit is contained in:
David Goulet
2019-06-11 11:59:39 -04:00
22 changed files with 431 additions and 349 deletions
+3
View File
@@ -0,0 +1,3 @@
o Code simplification and refactoring:
- Rework bootstrap tracking to use the new publish-subscribe
subsystem. Closes ticket 29976.