[tor-bugs] #5207 [Ooni]: ooni-probe should only set UseMicrodescriptors 0 if Tor understands that option

[Tor Bug Tracker & Wiki]

#5207: ooni-probe should only set UseMicrodescriptors 0 if Tor understands that
option
----------------------------+-----------------------------------------------
    Reporter:  karsten      |       Owner:  hellais
        Type:  defect       |      Status:  closed 
    Priority:  normal       |   Milestone:         
   Component:  Ooni         |     Version:         
  Resolution:  implemented  |    Keywords:         
      Parent:  #5028        |      Points:         
Actualpoints:               |  
----------------------------+-----------------------------------------------
Changes (by hellais):

  * status:  reopened => closed
  * resolution:  => implemented


Comment:

 These changes are integrated into:

 commit 4174c99dda431e1ab4b891e0c6f59a4b5282c5c7
 commit b8d0d4a071c584dbfdf5af942ead18525abe5d41

-- 
Ticket URL: <https://trac.torproject.org:443/projects/tor/ticket/5207#comment:3>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online