/me worries about using the '\' character in net names.  They get
exported through gnetlist.

Reply via email to