Skip to content
Discussion options

You must be logged in to vote

Duplicate of #7481.

Workaround: refresh the page after each comment.

Replies: 1 comment 1 reply

Comment options

You must be logged in to vote
1 reply
@soranoba
Comment options

Answer selected by tuves
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Duplicate this topic already exists in another discussion Pull Requests Propose, review, and discuss changes to a repository's codebase Product Feedback Share your thoughts and suggestions on GitHub features and improvements
2 participants