diff --git a/submodules/microtex b/submodules/microtex index ecdff1d3c9..d68cf35344 160000 --- a/submodules/microtex +++ b/submodules/microtex @@ -1 +1 @@ -Subproject commit ecdff1d3c9ffa89d7580ed7faa5013995e917118 +Subproject commit d68cf3534416ee9985c6dbfb88a9c4e427ea254d