From: Paul Hänsch Date: Mon, 23 Jul 2018 20:54:59 +0000 (+0200) Subject: speed up tag genration X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;h=114211b3bf6aeec4f2a56b8b9a93779df5719246;hp=114211b3bf6aeec4f2a56b8b9a93779df5719246;p=serve0 speed up tag genration ---