HEADS UP: doc/ slush for 13.2 begins on 12 February, 2023

Hi all,

The doc slush will begin on 12 February, 2023

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 February, 2023.

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 24 February, 2023.
Thank you for your cooperation and keep up the good work!

-- 
Marc on behalf of doceng@