Merge pull request #3182 from yrabbit/wip-doc2
authorMiodrag Milanović <mmicko@gmail.com>
Wed, 2 Feb 2022 11:19:17 +0000 (12:19 +0100)
committerGitHub <noreply@github.com>
Wed, 2 Feb 2022 11:19:17 +0000 (12:19 +0100)
commit518521c72e7505070ab5d2650e3b6d83e4d31311
tree7e2fb8db5a1da45cca6c188b8f8ccba04cb1cb25
parent0a6e2bd5d51025b83d4ff7474e65dd2decf673d5
parentf5609d52c4206d2ce634b0b47510120281a7dcf1
Merge pull request #3182 from yrabbit/wip-doc2

Correct a typo in the manual