Definition of Strings in UG

0liverkong / pe

0 stars 0 forks source link

Open 0liverkong opened 2 months ago

0liverkong commented 2 months ago

Super nitpicky but substring is defined but not a string. We cannot leave it up to the user to imply the definition one way or another.

nus-se-bot commented 2 months ago

Your response not required for this bug as the team has accepted the bug as it is.