commit 10982d59973a33da0d8a553b0d1ee6d1cb8d5a2c Merge: aebde7362 1ee17dc07 Author: teor <teor@torproject.org> Date: Thu Nov 7 10:35:50 2019 +1000 Merge remote-tracking branch 'tor-github/pr/1512' src/app/config/config.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)