From 7ea4312edb09764e3fcc1e12aac47b93a4d396da Mon Sep 17 00:00:00 2001 From: Konstantin Pastbin Date: Fri, 10 Feb 2023 15:55:04 +0000 Subject: [PATCH] [tools] Update kothic to use speed optimizations There is no change to compiled drules. Signed-off-by: Konstantin Pastbin --- tools/kothic | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/kothic b/tools/kothic index a6daa7121b..9b38690e69 160000 --- a/tools/kothic +++ b/tools/kothic @@ -1 +1 @@ -Subproject commit a6daa7121b55658346ce155e712adaa9737aa0b6 +Subproject commit 9b38690e69a9f195688121feebff1078dfa83ae4