Skip to content

Conversation

redfast00
Copy link

This was disabled in commit 0761424

@xobs
Copy link
Contributor

xobs commented Jun 26, 2025

What are the objections to this patch? Is it possible to get it merged?

@xobs
Copy link
Contributor

xobs commented Jun 26, 2025

I suspect the feature was commented out due to it not working. However after a7aa076 it should work just fine.

@redfast00
Copy link
Author

I have no objections (but I'm the author, so maybe somewhat biased 😉 )

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.

2 participants