Skip to content

Conversation

martinwork
Copy link
Collaborator

DO NOT MERGE
See #167

@microbit-carlos
Copy link
Collaborator

This is an alternative proposal for:

For issue:

@JohnVidler both options have advantages/disadvantages, but this is something we'll still need to prioritise in the future.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
DO NOT MERGE Do not merge this PR/Issue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants