tree 1e5cae64d531163f8ff0b94e638b0e321f964fb4
parent 8e08282c3b6bb0d933b7d10d65c9b0e37449bb11
author Joshua Haberman <jhaberman@gmail.com> 1605069867 -0800
committer Joshua Haberman <jhaberman@gmail.com> 1605069867 -0800

Use format() instead of string interpolation, for old Python versions.