Documentation typo

This commit is contained in:
Antonis Christofides 2023-06-05 17:54:29 +03:00
parent 91fdd25e14
commit 71ed745be6