Merge pull request #9537 from jasagredo/js/fix-haddock-open-on-windows
commit28e2926e40e04eb0b6ca4377e2e394400f6263d6
authormergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Thu, 18 Jan 2024 15:39:47 +0000 (18 15:39 +0000)
committerGitHub <noreply@github.com>
Thu, 18 Jan 2024 15:39:47 +0000 (18 15:39 +0000)
treeb5c5492df22d70710b8a1615b2bf1414f42e31fd
parentc32dcfaf182953d302cae28c1d6d5abdaed5bea3
parentb750ce6e8d75077bff4bc778f8d9d1aeda77b60c
Merge pull request #9537 from jasagredo/js/fix-haddock-open-on-windows

Fix haddock open on windows