Board Thread:Game Discussion/@comment-35659094-20190227111939/@comment-28176349-20190227134846

Do we have an official version #? 7.1.5 vs. 7.2?