Skip to content

Conversation

mkurz
Copy link
Member

@mkurz mkurz commented Feb 14, 2024

No description provided.

@mdedetrich
Copy link
Contributor

@mkurz See my comment at #59 (comment)

@mkurz mkurz mentioned this pull request Feb 14, 2024
@mdedetrich
Copy link
Contributor

@mkurz Shall we close this?

@mkurz
Copy link
Member Author

mkurz commented Feb 26, 2024

I think I keep it open as a reminder, also it shows to remove the excludes, etc. We might forget that in a year or so.
It's a draft anyway.

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