> At least the question “is texlive-amsfonts broken” is definitively > answered. This was what this issue was about, no? I’d rather keep the > other issue separate.
Well, it's still broken in the sense that we're not able to typeset with eufm10, no? That said, I guess it could make sense to define this issue as "tlpdb non-conformance problems" and close as fixed.
