[tor-commits] [tor/maint-0.4.0] Merge remote-tracking branch 'tor-github/pr/1394' into maint-0.3.5

[teor at torproject.org]

commit f9812ee5f7336bac9caaf57946e46cd19dfaf0be
Merge: 7beaaed24 ff304f3be
Author: teor <teor at torproject.org>
Date:   Mon Nov 25 12:29:43 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/1394' into maint-0.3.5

 changes/bug31939          | 3 +++
 src/lib/tls/buffers_tls.c | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)