On Tue, 5 Apr 2022 at 11:35, Markus Armbruster wrote:
>
> I double-checked these patches affect *only* generated documentation.
> Safe enough for 7.0, I think. But I'm quite content to hold on to
> them until after the release, if that's preferred.
>
> The following changes since commit 20661b75e
I double-checked these patches affect *only* generated documentation.
Safe enough for 7.0, I think. But I'm quite content to hold on to
them until after the release, if that's preferred.
The following changes since commit 20661b75ea6093f5e59079d00a778a972d6732c5:
Merge tag 'pull-ppc-20220404'
