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