Skip to content

Conversation

@dmlloyd
Copy link
Member

@dmlloyd dmlloyd commented Dec 7, 2018

No description provided.

@jamezp jamezp merged commit 39083b7 into jboss-logging:master Dec 7, 2018
@dmlloyd dmlloyd deleted the errmgr branch December 7, 2018 23:13
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