Diff

core/statsmanager.lua @ 10034:4fca92d60040

util.format: Handle formats expecting an integer in Lua 5.3+ (fixes #1371)
author Kim Alvefur <zash@zash.se>
date Thu, 30 May 2019 13:41:05 +0200
parent 9804:7929e0fe0577
child 10539:25f80afb1631
line wrap: on
line diff