Manafinder: Manafinder's second patch has been released!

Once again, thank you all so much for playing Manafinder! And thanks again for reporting issues! I've released the second patch that addresses both bugs that have been reported so far plus one that I've observed. And re…