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.

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

Update Icons, better Robot icon #409

Merged
merged 3 commits into from
Apr 21, 2023
Merged

Update Icons, better Robot icon #409

merged 3 commits into from
Apr 21, 2023

Conversation

kiwiprbot[bot]
Copy link
Contributor

@kiwiprbot kiwiprbot bot commented Apr 18, 2023

No description provided.

@kiwiprbot kiwiprbot bot requested a review from a team as a code owner April 18, 2023 04:06
@kiwiprbot kiwiprbot bot added design-tokens-autoupdate PR created by automate Design Tokens updater feature New feature or request labels Apr 18, 2023
Copy link
Contributor

@gerak-cz gerak-cz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Mostly rounding changes

@hrach hrach changed the title Design Tokens Update on 2023-04-18 Update Icons, better Robot icon Apr 21, 2023
@hrach hrach enabled auto-merge April 21, 2023 13:40
@hrach hrach merged commit 86a0a1d into main Apr 21, 2023
@hrach hrach deleted the tokens-autoupdate branch April 21, 2023 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
design-tokens-autoupdate PR created by automate Design Tokens updater feature New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants