docs/CONTRIBUTING.md: Replace remaining use of "Unlisted Change".

diff --git a/docs/CONTRIBUTING.md b/docs/CONTRIBUTING.md
index 9b8b8be6139db30c0f55c0d74b74b3abd3ceaba3..719f18b6204ed5dd488836f40097bc82f362f9bd 100644 (file)
--- a/docs/CONTRIBUTING.md
+++ b/docs/CONTRIBUTING.md
@@ -108,7 +108,7 @@ remainder, e.g. "a bug has been fixed", "a feature has been added".
 Some PRs should be excluded from the release notes, e.g. changes to project
 internal documentation (such as this file). Those changes are not interesting
 for external users of the project and would reduce the value of the release
-notes. Maintainers may use the `Unlisted Change` label to mark those PRs.
+notes. Maintainers may use the `Maintenance` label to mark those PRs.
 
 ## Other resources