# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1636291049 -3600
# Node ID 098e3b3aac9c40fdc4fa40dd63698a8d2eb25f84
# Parent  99b467605dfc986dd373dbcdfe8cb059841a550e
luacheck: Make module:metric() known

diff -r 99b467605dfc -r 098e3b3aac9c .luacheckrc
--- a/.luacheckrc	Tue Jan 28 21:54:04 2020 +0100
+++ b/.luacheckrc	Sun Nov 07 14:17:29 2021 +0100
@@ -54,6 +54,7 @@
 	"module.measure_event",
 	"module.measure_global_event",
 	"module.measure_object_event",
+	"module.metric",
 	"module.open_store",
 	"module.provides",
 	"module.remove_item",