Skip to content

Conversation

@meirpro
Copy link

@meirpro meirpro commented Oct 6, 2022

im not sure if this is useful for others, but for me it seems to help figure out faster whats going on...
im also not sure if you even want a pull request, if its unwanted, just ignore it (though i would be happy to know if this isn't a good idea)

and obviously; thank you for creating this, quite useful.

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