diff --git a/third_party/tools/synlig b/third_party/tools/synlig index f5cd191cd0524..fa2bcb1265bc6 160000 --- a/third_party/tools/synlig +++ b/third_party/tools/synlig @@ -1 +1 @@ -Subproject commit f5cd191cd052493101441e912cb5ec2aab2b89ef +Subproject commit fa2bcb1265bc6e4ade083b87742c173fddeb5a1d