Skip to content

Use commons-logging#8

Merged
nitind merged 1 commit intoeclipse-servertools:masterfrom
merks:pr-commons-logging
Jul 7, 2024
Merged

Use commons-logging#8
nitind merged 1 commit intoeclipse-servertools:masterfrom
merks:pr-commons-logging

Conversation

@merks
Copy link
Contributor

@merks merks commented Jul 6, 2024

@nitind nitind merged commit d7b1423 into eclipse-servertools:master Jul 7, 2024
@nitind
Copy link
Contributor

nitind commented Jul 7, 2024

Thanks, Ed!

@merks merks deleted the pr-commons-logging branch July 7, 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.

2 participants