diff --git a/third_party/machinarium b/third_party/machinarium index a7f3c6eb..88c38a18 160000 --- a/third_party/machinarium +++ b/third_party/machinarium @@ -1 +1 @@ -Subproject commit a7f3c6ebe6682f9cdf2d838805cb7900d6e743fc +Subproject commit 88c38a188ad3f25497499dc34ff263a659463752