[tor-bugs] #23013 [Core Tor/Tor]: Tor 0.3.0.9 tarball was missing ReleaseNotes entry

[Tor Bug Tracker & Wiki]

#23013: Tor 0.3.0.9 tarball was missing ReleaseNotes entry
------------------------------+-----------------
     Reporter:  arma          |      Owner:
         Type:  defect        |     Status:  new
     Priority:  Medium        |  Milestone:
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:                |
------------------------------+-----------------
 https://dist.torproject.org/tor-0.3.0.9.tar.gz
 has an 0.3.0.9 stanza in the ChangeLog file but not in the ReleaseNotes
 file.

 There's a release checklist:
 https://gitweb.torproject.org/tor.git/tree/doc/HACKING/ReleasingTor.md
 but it looks like this step got missed this time.

 Are there technical steps we can take to make sure things are synced in
 future releases, so we don't have to rely only on the checklist?

 Like, 'make dist' could check and complain?

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