Skip to content

Backport noindex to 13.7

Achilleas Pipinellis requested to merge backport-noindex-13-7 into 13.7

Backport !1432 (diffs) to 13.7 as we noticed there are Google results pointing to 13.7, which is no longer online.

Merge request reports