Skip to content

Conversation

@lolgab
Copy link
Member

@lolgab lolgab commented Mar 13, 2025

Fixes #74

@lolgab lolgab marked this pull request as ready for review March 13, 2025 08:33
@lolgab lolgab requested a review from lihaoyi March 13, 2025 08:33
@lihaoyi lihaoyi merged commit 0ce0c79 into com-lihaoyi:main Mar 13, 2025
6 checks passed
@lolgab lolgab deleted the remove-log4j branch March 13, 2025 09:02
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.

Why depend on log4j?

2 participants