Open Zeli0 opened 1 year ago
[IMPORTANT!: Please do not edit or reply to this comment using the GitHub UI. You can respond to it using CATcher during the next phase of the PE]
It is still a numeric input and is still recognised as a positive number. It does go to the correct bookmark index.
Team chose [response.Rejected
]
Reason for disagreement: [replace this with your reason]
For commands like delete, view and goto, while the UG and DG specify that the input must be positive integers, they also allow for strange formatting where an infinite number of leading 0s are allowed.