--- a/util/startup.lua	Thu Apr 05 15:58:08 2018 +0200
+++ b/util/startup.lua	Thu Apr 05 16:00:27 2018 +0200
@@ -80,9 +80,6 @@
 	server = require "net.server"
 end
 
--- The global log() gets defined by loggingmanager
--- luacheck: ignore 113/log
-
 function startup.init_logging()
 	-- Initialize logging
 	require "core.loggingmanager"