That’s because a dot terminating pin label No.
. Pin labels are not escaped anyhow currently. So, I suggest to rename No.
→ No
That’s because a dot terminating pin label No.
. Pin labels are not escaped anyhow currently. So, I suggest to rename No.
→ No