Skip to content

Fix bug from #4269#4281

Merged
thomasloven merged 1 commit intodevfrom
fix-css-bug
Nov 27, 2019
Merged

Fix bug from #4269#4281
thomasloven merged 1 commit intodevfrom
fix-css-bug

Conversation

@thomasloven
Copy link
Copy Markdown
Contributor

No description provided.

@thomasloven thomasloven merged commit defaa2b into dev Nov 27, 2019
@delete-merged-branch delete-merged-branch Bot deleted the fix-css-bug branch November 27, 2019 12:06
@bramkragten
Copy link
Copy Markdown
Member

bramkragten commented Nov 27, 2019

Now you gave me a merge conflict! Was fixing this at the same time 😄

@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.

3 participants