[Webkit-unassigned] [Bug 180288] Spacing around <mo> should only be added inside <mrow>

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Mon Dec 4 02:32:36 PST 2017


--- Comment #1 from Frédéric Wang (:fredw) <fred.wang at free.fr> ---
Right, spacing should actually be added to the whole embellished operator not the <mo> at its core see https://bugs.webkit.org/show_bug.cgi?id=124831#c1

You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20171204/c46f1eaf/attachment.html>

More information about the webkit-unassigned mailing list