Re: [Pharo-users] Gitfiletree unstable on Windows