Gödel 38167 15933842 2003-05-15T04:57:56Z Minesweeper 7279 fix double redir #REDIRECT [[Kurt Gödel]]