Skip to content

Conversation

@lurch
Copy link
Contributor

@lurch lurch commented Mar 4, 2021

Nothing important, just "niceties"

@kilograham kilograham merged commit 0f11972 into raspberrypi:develop Mar 4, 2021
@lurch lurch deleted the more_platform_defs branch March 4, 2021 18:56
@kilograham kilograham added this to the 1.0.2 milestone Mar 5, 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.

2 participants