Merge pull request #42 from zdyxry/master github/master
authorRalf Jung <post@ralfj.de>
Wed, 27 Sep 2023 11:48:51 +0000 (13:48 +0200)
committerGitHub <noreply@github.com>
Wed, 27 Sep 2023 11:48:51 +0000 (13:48 +0200)
fix link to example


Trivial merge