Skip to content

Conversation

@n6v26r
Copy link

@n6v26r n6v26r commented Mar 29, 2025

added_margin_bg and removed_margin_bg for the diff kitten were both red.

@n6v26r
Copy link
Author

n6v26r commented Jun 8, 2025

Could we get this pushed?

@n6v26r
Copy link
Author

n6v26r commented Jun 28, 2025

bump

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant