Closed tomschr closed 2 years ago
This PR fixes some bugs with <phrase role="color:..."> which is wrongly converted into <span class="color:...">. Found by @tbazant, many thanks!
<phrase role="color:...">
<span class="color:...">
Related to #453
This PR fixes some bugs with
<phrase role="color:...">
which is wrongly converted into<span class="color:...">
. Found by @tbazant, many thanks!Related to #453