Closed JosJuice closed 1 year ago
This uncovers not just one, but two bugs in Dolphin! Will create PRs to fix them in Dolphin ~in the coming days~ today, apparently.
This uncovers not just one, but two bugs in Dolphin! Will create PRs to fix them in Dolphin ~in the coming days~ today, apparently.