Apply changes from pull request #17375 (“use file server @ inria”) to ‘Pharo11’#17462

Merged

jecisc merged 1 commit intopharo-project:Pharo11from Rinzwind:file-server-inria-pharo11

Nov 27, 2024

+2-2

Commits on Nov 26, 2024

Applied changes from pull request pharo-project#17375 (“use file server @ inria”) to ‘Pharo11’.
Rinzwind
committed