From ddc4bd8dc068d148e9e7ae20b15c0211819d4165 Mon Sep 17 00:00:00 2001 From: Konstantin Pastbin Date: Sat, 21 Jan 2023 16:50:04 +0000 Subject: [PATCH] [tools] Update kothic to include speed optimizations Signed-off-by: Konstantin Pastbin --- tools/kothic | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/kothic b/tools/kothic index 471abbd754..a6daa7121b 160000 --- a/tools/kothic +++ b/tools/kothic @@ -1 +1 @@ -Subproject commit 471abbd75447624fd40880f2888c731bf0a612b0 +Subproject commit a6daa7121b55658346ce155e712adaa9737aa0b6