HEADS UP: doc/ slush for 12.4R begins on 15 October, 2022

Hi all,

The doc slush will begin on 15 October, 2022

The purpose of the doc slush is to slow down the rate of changes in that
tree in order to allow the translation teams time to finalize their work
and to avoid last-minute breakage for the 12.4-RELEASE.

Please note that the slush will not apply to website/ documents.

As usual, this is not a real freeze and requires no formal commit
approval procedure for your commit, but you are kindly requested not to
commit large, structural changes during that period.

Tagging of the doc tree is scheduled to take place on 29 October,2022.
Thank you for your cooperation and keep up the good work!

--
Marc on behalf of doceng@