Closed rettinghaus closed 2 years ago
For some reason, after a <hi> element there is an extra-space inserted in HTML view., messing up punctuation. Any idea why this happens? Is this a CETEIcean bug?
<hi>
Seems to be fixed now.
For some reason, after a
<hi>
element there is an extra-space inserted in HTML view., messing up punctuation. Any idea why this happens? Is this a CETEIcean bug?