I didn't create a CHANGES entry for this as it was trivial and the name of the installed manual didn't change. This is for RT ticket #36830.
I didn't create a CHANGES entry for this as it was trivial and the name of the installed manual didn't change. This is for RT ticket #36830.