You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There's a disconnect between what gets xreffed and what is caught as an error. This is not a huge problem I suppose but still, whenever <span class="something"> or so is used and it is intended not to be an xref, it could be picked up as an xref and might not be noticed.
The text was updated successfully, but these errors were encountered:
#33 (comment)
There's a disconnect between what gets xreffed and what is caught as an error. This is not a huge problem I suppose but still, whenever
<span class="something">
or so is used and it is intended not to be an xref, it could be picked up as an xref and might not be noticed.The text was updated successfully, but these errors were encountered: