Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Error in labels for DG #9

Open
ruth-lim opened this issue Nov 17, 2023 · 1 comment
Open

Error in labels for DG #9

ruth-lim opened this issue Nov 17, 2023 · 1 comment
Labels
severity.Low type.DocumentationBug

Comments

@ruth-lim
Copy link
Owner

CleanShot 2023-11-17 at 17.52.10@2x.png

I think extension should be 2a?
@nus-pe-bot
Copy link

This issue is not accepted as it was created/updated outside the PE duration (2023-11-17 13:00:00-2023-11-17 17:43:30).
This issue was created at: 2023-11-17 17:53:09+08:00 and was last updated at 2023-11-17 17:53:09+08:00

If you disagree with the above or have queries, please contact [email protected]
(do not reply here!) ASAP, within 12 hours of this post.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
severity.Low type.DocumentationBug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nus-pe-bot @ruth-lim