[Pharo-users] Gitfiletree unstable on Windows