Fix doc typo

This commit is contained in:
Christophe 2023-12-20 23:52:50 +01:00 committed by Christophe
parent 5c008438db
commit 1682a8c360