[tor-bugs] #9691 [Tor]: Merge the torspec changes of #8929

[Tor Bug Tracker & Wiki]

#9691: Merge the torspec changes of #8929
-----------------------------+---------------------
 Reporter:  asn              |          Owner:
     Type:  defect           |         Status:  new
 Priority:  normal           |      Milestone:
Component:  Tor              |        Version:
 Keywords:  tor-spec tor-pt  |  Actual Points:
Parent ID:                   |         Points:
-----------------------------+---------------------
 I made the mistake of not creating a new ticket for the spec changes of
 #8929 and instead I just posted them in that same ticket. Unfortunately,
 they didn't get merged along with the tor.git changes.

 Nick, can you please merge branch `bug8929_take2` in
 `https://git.torproject.org/user/asn/torspec.git`.

 Thanks!

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