# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1505151171 -7200
# Node ID bf6f80f2d971478a98d22bf7ade7f729fad1406a
# Parent  cda9db4b881d8a7b8fb471860a18a410fc4d9b74
core.loggingmanager: Remove now unused locals [luacheck]

diff -r cda9db4b881d -r bf6f80f2d971 core/loggingmanager.lua
--- a/core/loggingmanager.lua	Mon Sep 11 19:32:12 2017 +0200
+++ b/core/loggingmanager.lua	Mon Sep 11 19:32:51 2017 +0200
@@ -15,9 +15,6 @@
 local math_max, rep = math.max, string.rep;
 local os_date = os.date;
 local getstyle, getstring = require "util.termcolours".getstyle, require "util.termcolours".getstring;
-local tostring = tostring;
-local select = select;
-local unpack = table.unpack or unpack; --luacheck: ignore 113
 
 local config = require "core.configmanager";
 local logger = require "util.logger";