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

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=180288

--- 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>