Skip to content
This repository was archived by the owner on Sep 17, 2024. It is now read-only.

Comments

merge development into main#14

Merged
ihatethefrench merged 7 commits intomainfrom
development
Sep 10, 2022
Merged

merge development into main#14
ihatethefrench merged 7 commits intomainfrom
development

Conversation

@axtloss
Copy link
Member

@axtloss axtloss commented Sep 4, 2022

this removes the crystal-extra repo from the pacman config

Copy link
Member

@SomethingGeneric SomethingGeneric left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me!

@SomethingGeneric
Copy link
Member

@not-my-segfault @axtloss gonna wait for y'all to merge tho in case we want more stuff before the next ci job?

@axtloss
Copy link
Member Author

axtloss commented Sep 6, 2022

we still have to rebuild the new version of jade gui once that gets merged into main, then we could merge this

@SomethingGeneric
Copy link
Member

See i knew there was a reason to wait for input

@ihatethefrench ihatethefrench merged commit 8fcef1e into main Sep 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants