ThomasV c7a47a06b5 format a few strings with str.format(). fix #3405

2018-01-06 22:42:15 +01:00

20 KiB

Raw Blame History

View Raw