Skip to content

[MNG-8029] improve documentation about mirror settings#1417

Merged
hboutemy merged 1 commit intomasterfrom
MNG-8029-master
Feb 17, 2024
Merged

[MNG-8029] improve documentation about mirror settings#1417
hboutemy merged 1 commit intomasterfrom
MNG-8029-master

Conversation

@hboutemy
Copy link
Copy Markdown
Member

cherry pick for Maven 4 of #1395

@hboutemy hboutemy merged commit 54c1b2f into master Feb 17, 2024
@hboutemy hboutemy deleted the MNG-8029-master branch February 17, 2024 18:40
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.

1 participant