Merge pull request #36294 from Mic92/primecoins
primecoin: remove as it seems no longer maintained
authored by Jörg Thalheim and committed by GitHub 8 years ago 125593ff 1aa5bb44