diff --git a/third_party/tools/synlig b/third_party/tools/synlig index f5cd191cd0524..90f3a8265c8a5 160000 --- a/third_party/tools/synlig +++ b/third_party/tools/synlig @@ -1 +1 @@ -Subproject commit f5cd191cd052493101441e912cb5ec2aab2b89ef +Subproject commit 90f3a8265c8a57a3f21e19ae9704665a2d7b883c