puppetserver 7.15.0, 7.14.0 & 7.12.0 docs are missing

[bastelfreak]

Describe the Bug

https://www.puppet.com/docs/puppet/7/server/release_notes.html doesn't list changes for 7.15.0, 7.14.0 & 7.12.0

Expected Behavior

I expect a detailed changelog, if possible with linked github/public jira tickets. Instead 7.15.0 is missing completely, and 7.14.0/7.12.0 have no information at all.

Steps to Reproduce

Steps to reproduce the behavior:

1. Go to '...'
2. Click on '....'

Environment

• Version [e.g. 1.27.0]
• Platform [e.g. Ubuntu 18.04]

Additional Context

Add any other context about the problem here.

[bastelfreak]

FYI puppetserver 8 docs are also consistent.

[peachdawnleach]

Hi @bastelfreak , these recent releases all went out with no significant customer-facing issues, which is why no release notes were provided. I'm working on rewording the message about this in the docs to be more clear. Thanks!

[lisarobertson]

Moving forward, we will include the sentence: This release includes minor updates that do not change functionality for users.