This repository has been archived by the owner on Aug 7, 2024. It is now read-only.
Duplicate Javascript tag in the filter #5665
Labels
🛠 goal: fix
undefined
🚦 status: awaiting triage
Waiting for maintainers to verify (please do not start work on this yet)
Description
I think that it is useless to have the same programming language tag repeated twice as a filter with one being "Javascript" and the other "JavaScript". I see that selecting one selects the other automatically as their state is bound but from a user experience point of view it is still redundant.
Screenshots
Additional information
No response
The text was updated successfully, but these errors were encountered: