Skip to content

Conversation

czeppi
Copy link
Contributor

@czeppi czeppi commented Apr 1, 2025

No description provided.

@bobrippling
Copy link
Collaborator

Thanks! It looks like the cc_astro changes have snuck in here (also in #3793), could you drop them out of this PR?

@gfwilliams
Copy link
Member

Finally ok now cc_astro is merged already

@gfwilliams gfwilliams merged commit d2027bc into espruino:master Sep 2, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants