Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make sure intro cover is closed if intro is not shown
- This option will be replaced by something different in 3.12
- Loading branch information