docs: small comment change
Passed
João Magalhães
created pipeline for commit
c3687d7d
, finished
For master
18 minutes 4 seconds, queued for 3 seconds