[doc] Fix typo in url
(cherry picked from commit b5db5759) Signed-off-by:Steffen Müthing <muething@dune-project.org>
Please register or sign in to comment
(cherry picked from commit b5db5759) Signed-off-by:Steffen Müthing <muething@dune-project.org>