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
alternatively, it should delete them and let the usual anon handling take place
right now, if an field element has name='' then codegen.out.xml will have a blank name attribute but nold:anon-name attribute (as is generated if name is absent). while the headers get an anon name in the expected manner, codegen.out.xml fails to reflect what is generated in headers, which shouldn't happen
alternatively, it should delete them and let the usual anon handling take place
right now, if an field element has
name=''
thencodegen.out.xml
will have a blankname
attribute but nold:anon-name
attribute (as is generated ifname
is absent). while the headers get an anon name in the expected manner,codegen.out.xml
fails to reflect what is generated in headers, which shouldn't happenrelated discord discussion
The text was updated successfully, but these errors were encountered: