[tor-commits] [tpo/master] Set Android version to 8.5.1 for now