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
In #396, images were embedded via include.xml, this may cause it to be embedded twice. This is not the end of the world, since the PR also reduces their size by more than half. Let's find out, for future reference and, if needed, see if we can prevent double embed in some way
The text was updated successfully, but these errors were encountered:
In #396, images were embedded via include.xml, this may cause it to be embedded twice. This is not the end of the world, since the PR also reduces their size by more than half. Let's find out, for future reference and, if needed, see if we can prevent double embed in some way
The text was updated successfully, but these errors were encountered: