[docs-only] Merge back the Release branch#2516

Merged

micbar merged 1 commit intomasterfrom release-1.12.0

Sep 16, 2021

+10-1

Commits on Sep 15, 2021

prepare 1.12.0

micbar
authored and
David Christofas
committed