  o Minor bugfixes:
    - When we are using bridges and we had a network connectivity problem, only
      retry connecting to our currently configured bridges, not all bridges we
      know about and remember using.
      Fixes bug 14216; bugfix on tor-0.2.2.17-alpha. Patch from arma.
