[tor-commits] [tor/master] Merge remote-tracking branch 'public/ticket19044'

[nickm at torproject.org]

commit a0dd8360983e8df41424694f4708ffa6f03f65a1
Merge: 437cbb1 771ca7c
Author: Nick Mathewson <nickm at torproject.org>
Date:   Fri May 27 10:39:34 2016 -0400

    Merge remote-tracking branch 'public/ticket19044'

 changes/19044                  |  5 +++++
 configure.ac                   | 26 ++++++++++++++++----------
 doc/HACKING/CodingStandards.md | 12 ++++++------
 doc/HACKING/HowToReview.md     |  2 +-
 4 files changed, 28 insertions(+), 17 deletions(-)