[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/781'

commit 2a49b27b9ff08e9b20fc2ab9a73b4286104d874e Merge: a80131765 34b562b78 Author: Nick Mathewson <nickm@torproject.org> Date: Tue Mar 19 10:22:31 2019 -0400 Merge remote-tracking branch 'tor-github/pr/781' changes/ticket29434 | 3 + contrib/include.am | 1 - contrib/operator-tools/linux-tor-prio.sh | 192 ------------------------------- 3 files changed, 3 insertions(+), 193 deletions(-)