Resolves #3791: Test mantis/github auto-resolve