Revision 64b59d3b8177982071a7f80ebf1f3d10028c9084

Committed on 05/12/2023 5:24 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Fix section documentation