Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Maintenance] Switch to mantic #316

Closed
GioF71 opened this issue Nov 14, 2023 · 0 comments · Fixed by #317
Closed

[Maintenance] Switch to mantic #316

GioF71 opened this issue Nov 14, 2023 · 0 comments · Fixed by #317
Assignees
Labels
maintenance Maintenance task

Comments

@GioF71
Copy link
Owner

GioF71 commented Nov 14, 2023

Drop lunar and advance to mantic

@GioF71 GioF71 self-assigned this Nov 14, 2023
@GioF71 GioF71 added the maintenance Maintenance task label Nov 14, 2023
GioF71 added a commit that referenced this issue Nov 14, 2023
@GioF71 GioF71 linked a pull request Nov 14, 2023 that will close this issue
GioF71 added a commit that referenced this issue Nov 14, 2023
* [Maintenance] Switch to mantic #316

* Update change history
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Maintenance task
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant