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