Features that are not pushed should not be an option

fungg0 / pe

0 stars 0 forks source link

Open fungg0 opened 2 months ago

fungg0 commented 2 months ago

Understand that this is mentioned in the UG, however if the option is not available, I think it will be more user friendly to not show it at all.

nus-pe-script commented 2 months ago

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