commit 8f5a3c046004f7c820b779502f1c080ae64f0da9 Merge: a30f17f72 cb1072790 Author: David Goulet <dgoulet@torproject.org> Date: Wed Feb 20 11:45:58 2019 -0500 Merge branch 'tor-github/pr/675' changes/ticket25110 | 4 ++++ src/app/config/config.c | 4 ++++ 2 files changed, 8 insertions(+)