Wenn du eh neu installierst, wuerde ich 5.12 nehmen.
Ansonsten ist der Unterschied zwischen 5.12 und 5.10 nicht so gross wie zwischen 5.8 und 5.10, macht meiner Meinung nach keinen wahnsinnig grossen unterschied.