merkinmuffley/mixmaster4096 — pull request #3 by crooks (2014-10-20 09:43:04+00:00)
Title: Change ALLPINGERS URL to the github copy

Replace the default URL for allpingers.txt with the publicly maintainable version on Github