[tor-commits] [torflow/master] Merge branch 'fixes_rebased_2018_4066_4067_4077'