Skip to content

Conversation

@PierreDemailly
Copy link
Member

No description provided.

@PierreDemailly PierreDemailly linked an issue Nov 26, 2023 that may be closed by this pull request
@PierreDemailly PierreDemailly force-pushed the package-tools-menu-cannot-be-reached branch from 61c9695 to 75a1eac Compare November 26, 2023 14:30
@PierreDemailly PierreDemailly changed the title fix: package tools menu cannot be reached fix: package info not opening Nov 26, 2023
@PierreDemailly PierreDemailly force-pushed the package-tools-menu-cannot-be-reached branch from 75a1eac to d4a53a8 Compare November 27, 2023 23:21
@fraxken fraxken merged commit d6d17ed into master Nov 28, 2023
@fraxken fraxken deleted the package-tools-menu-cannot-be-reached branch November 28, 2023 01:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants