Make file.append int to string more pythonic
Merge pull request #12708 from rallytime/state_file_append

Make file.append int to string more pythonic