diff --git a/repos/latex b/repos/latex index 8e130cd53..73c9b8992 160000 --- a/repos/latex +++ b/repos/latex @@ -1 +1 @@ -Subproject commit 8e130cd5394487f5b686fbbb547f4ad7dbe811db +Subproject commit 73c9b8992f72203386092ffd2a05f2dcba02d2cb