Skip to content

use new dom4j groupId org.dom4j#205

Merged
olamy merged 1 commit intomasterfrom
new-dom4j-groupId
Mar 22, 2022
Merged

use new dom4j groupId org.dom4j#205
olamy merged 1 commit intomasterfrom
new-dom4j-groupId

Conversation

@olamy
Copy link
Member

@olamy olamy commented Mar 22, 2022

Signed-off-by: Olivier Lamy [email protected]

@olamy olamy merged commit aacd480 into master Mar 22, 2022
@olamy olamy deleted the new-dom4j-groupId branch March 22, 2022 21:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants