Merge pull request #3608
de21e8f build: Make sure historical release notes end up in distributions (Wladimir J. van der Laan)