Re: TeX Live: Issue with thm-restate in latest docker release

--000000000000e68f410656a8f817
Content-Type: text/plain; charset="UTF-8"

This had already been reported to thmtools with a fix in the issue

https://github.com/muzimuzhi/thmtools/issues/75#issuecomment-4804901577

--000000000000e68f410656a8f817
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><br></div><div><br></div><div>This had already been r=
eported=C2=A0to thmtools with a fix in the issue</div><div><br></div><div><=
a href=3D"https://github.com/muzimuzhi/thmtools/issues/75#issuecomment-4804=
901577">https://github.com/muzimuzhi/thmtools/issues/75#issuecomment-480490=
1577</a></div></div>

--000000000000e68f410656a8f817--