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
When transforming gpi to neo, we normalize the labels. This is because in the past unusual non-ascii characters have slipped in messing up everything (need to report these upstream)
This is currently too strict, e.g. we strip /, resulting in:
id: PR:000037785
name: mEPRSPhos1 Mmus
There should be a slash in the label
For now @ukemi, just type the string without the slash (sorry)
The text was updated successfully, but these errors were encountered:
When transforming gpi to neo, we normalize the labels. This is because in the past unusual non-ascii characters have slipped in messing up everything (need to report these upstream)
This is currently too strict, e.g. we strip
/
, resulting in:There should be a slash in the label
For now @ukemi, just type the string without the slash (sorry)
The text was updated successfully, but these errors were encountered: