Closed JaroslavTulach closed 46 minutes ago
Fixes #9231 by using FileSystemEditionManager and not UpdatingEditionManager to avoid any downloads of editions.
FileSystemEditionManager
UpdatingEditionManager
Please ensure that the following checklist has been satisfied before submitting the PR:
Pull Request Description
Fixes #9231 by using
FileSystemEditionManager
and notUpdatingEditionManager
to avoid any downloads of editions.Checklist
Please ensure that the following checklist has been satisfied before submitting the PR: