Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Redesign: add badge with dot to rm button, to see it catches your eye better #2371

Merged
merged 1 commit into from
Dec 19, 2018

Conversation

bwindels
Copy link
Contributor

@bwindels bwindels requested a review from a team December 18, 2018 16:58
@bwindels bwindels merged commit 8b406ea into experimental Dec 19, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants