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

[nickm at torproject.org]

commit 00bc18b84799afcb6a48e0ee9273e155e3d2a54e
Merge: 0ce4d23af 7e1f89346
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Jan 22 08:13:14 2019 -0500

    Merge remote-tracking branch 'tor-github/pr/653'

 Makefile.am                  |  2 +-
 changes/ticket27761          |  4 ++++
 scripts/maint/lintChanges.py | 56 ++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 61 insertions(+), 1 deletion(-)