[tools] Update kothic (Remove int_name, add a warning for invalid dashdot size)

Signed-off-by: Konstantin Pastbin <konstantin.pastbin@gmail.com>
This commit is contained in:
Konstantin Pastbin 2023-09-16 13:12:40 +03:00 committed by Viktor Govako
parent d9d9ed0282
commit 186c4565fd

@ -1 +1 @@
Subproject commit d58e496bd4c9ceee4019ff637a1cbc7d983aa2c2
Subproject commit 5b22c7a14c9f5ac67de3fc47aab644f4b3063832