Am 2014-06-28 23:57, schrieb Martin Kepplinger:
> Maybe we can do away with issue 9971 and improve readability:
> https://trac.torproject.org/projects/tor/ticket/9971
>
any advice or objections? I waited a week or so and why not ask. no
pressure. maybe someone has time to look into it. it's dead-simple.
thanks
martin