Skip to content

Conversation

@juhanikat
Copy link
Collaborator

also minor cosmetic improvements

@iritmaximus iritmaximus force-pushed the fix-key-issue-with-error-list branch from f62819b to c1d8c7d Compare November 28, 2024 15:10
Copy link
Collaborator

@iritmaximus iritmaximus left a comment

Choose a reason for hiding this comment

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

LGTM

@iritmaximus iritmaximus merged commit 8855d3c into main Nov 28, 2024
4 checks passed
@iritmaximus iritmaximus deleted the fix-key-issue-with-error-list branch November 28, 2024 15:22
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.

3 participants