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

2017-12-12 16:55:50 +01:00

6.9 KiB

Raw Blame History

View Raw