Skip to content

Conversation

@matiasilva
Copy link

Simple PR that does what it says on the tin.

@matiasilva
Copy link
Author

I've just noticed, this PR and the subsequent one are an improvement of #33. So when this is merged, the other one can be closed.

@JamesH65 JamesH65 merged commit 2de27bf into raspberrypi:master Sep 2, 2021
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