Tor 0.3.0.9 tarball was missing ReleaseNotes entry
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?