Passed
Pull Request — master (#6139)
by
unknown
26:06 queued 15:20
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.11
▶   ± 0
Head
dependabot[bot]  
Merge e7389e2172164a42ed0e55f0acb0c896cb8dd380 into fd48c11e1ec0bcc88ff3000181a5bc97d55a8756
1 more commit
Base
NicoDucou  
Document: Language: Minor change root folder to be named as the tool Documents - refs BT#22164