use format strings
authorMoritz Warning <moritzwarning@web.de>
Thu, 30 Jul 2020 23:19:55 +0000 (01:19 +0200)
committerMoritz Warning <moritzwarning@web.de>
Thu, 30 Jul 2020 23:19:55 +0000 (01:19 +0200)
commit982d5f336163c9fa8a2688cdd8f54b4df5576f88
tree5988c05f1fabbdcf406aa283fe40a2e1ee9f4767
parente5cc6372d00b7bfaffaedb8ad7fb9a9810ceecf4
use format strings
misc/collect.py