fix indentation after #18332 patches

no actual changes here -- but the new indenting makes it clear
that the fixes in #18332 were not as good as they should have been.
the next commit will deal with that.
This commit is contained in:
Roger Dingledine 2016-03-21 17:08:02 -04:00
parent 6a91cab79c
commit 4861e24552