torproject/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-12-06 19:41:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Nick Mathewson
2019-10-17 08:25:11 -04:00
parent 5f3233ce1a 85accdf00a
commit 39cf575ed4
6 changed files with 40 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/core/include.am
+1 -1
View File
@@ -353,7 +353,7 @@ noinst_HEADERS += \
src/feature/dircommon/fp_pair.h \
src/feature/dircommon/vote_timing_st.h \
src/feature/dircommon/voting_schedule.h \
src/feature/dirparse/authcert_members.i \
src/feature/dirparse/authcert_members.h \
src/feature/dirparse/authcert_parse.h \
src/feature/dirparse/microdesc_parse.h \
src/feature/dirparse/ns_parse.h \