Updated 'current-version.txt' and updated dist with 7.1.2 hex files