All I found on the main sites is 7.1 (7.2 might be available as a "test" version, but not released to the public... unless you search for it somewhere maybe?)
(esconder) Cansado de colocar barcos ou peças de Espionagem no início de cada jogo? Pode ir aos Editores de Jogos e gravar algumas das suas posições favoritas para uso futuro. (pauloaguia) (mostrar todas as dicas)