Skip to content

Fix styling of vaadin elements#4276

Merged
bramkragten merged 1 commit intodevfrom
fix-vaadin
Nov 26, 2019
Merged

Fix styling of vaadin elements#4276
bramkragten merged 1 commit intodevfrom
fix-vaadin

Conversation

@bramkragten
Copy link
Copy Markdown
Member

No description provided.

@bramkragten bramkragten merged commit 60efe00 into dev Nov 26, 2019
@delete-merged-branch delete-merged-branch Bot deleted the fix-vaadin branch November 26, 2019 15:57
@bramkragten bramkragten mentioned this pull request Dec 4, 2019
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 6, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants