2018-10-16, 16:43
Mike Silvo might also want to know about the broken repository if this issue is common. Having the GitHub source could possibly conflict with the repo, but this doesn't sound like the issue. The GitHub source is always the most recent. The other releases are only made available when Mike decides it is unlikely there are any bugs and pushes a new version from GitHub.