[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/1407' into maint-0.4.2

[teor at torproject.org]

commit f73c8bd7865a8a64d46c126ca7e206204510ace8
Merge: 8ac9af233 09e6c0f7c
Author: teor <teor at torproject.org>
Date:   Fri Oct 18 12:05:07 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/1407' into maint-0.4.2

 changes/ticket32063      |  3 +++
 src/feature/hs/hs_cell.c | 13 +++++++++----
 2 files changed, 12 insertions(+), 4 deletions(-)