18:15:18 -xmr-pr- erciccione opened pull request #1932: mining: fix stray </a>
18:15:18 -xmr-pr- > https://github.com/monero-project/monero-site/pull/1932