Skip to content

fix(manifest): keep the Maven extension build out of the developer's home directory - #1461

Merged
John-David Dalton (jdalton) merged 1 commit into
mainfrom
fix/maven-home-isolation
Aug 4, 2026
Merged

fix(manifest): keep the Maven extension build out of the developer's home directory#1461
John-David Dalton (jdalton) merged 1 commit into
mainfrom
fix/maven-home-isolation

Commits

Commits on Aug 4, 2026