Skip to content

solve problem with some repos after last changes#975

Merged
dgarijo merged 1 commit intoKnowledgeCaptureAndDiscovery:devfrom
juanjemdIos:master
Apr 24, 2026
Merged

solve problem with some repos after last changes#975
dgarijo merged 1 commit intoKnowledgeCaptureAndDiscovery:devfrom
juanjemdIos:master

Commits

Commits on Apr 24, 2026