tree 84f421f4b4695d671fe5998912b80dec077f31f3
parent 1f3f5b4d972543ad965e199a47c60e26b2ba09ca
parent 7d21b70df8d4ee112323b2ceae487c657359e2e2
author Vova Sharaienko <sharaienko@google.com> 1702492560 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1702492560 +0000

Merge "[TeX] Removed JNI dependency" into main