Looks like [#12131](https://trac.torproject.org/projects/tor/ticket/12131) is already handled by ra. ([diff](https://trac.torproject.org/projects/tor/wiki/TorWeeklyNews/BugsToPlug?action=diff&version=29)) URL: https://trac.torproject.org/projects/tor/wiki/TorWeeklyNews/BugsToPlug?version=29