cached PICO_BOARD value is not updated with FORCE #1321

Closed
opened 2023-03-23 12:46:56 -05:00 by kilograham · 3 comments
kilograham commented 2023-03-23 12:46:56 -05:00 (Migrated from github.com)
No description provided.
kilograham commented 2023-05-30 16:52:30 -05:00 (Migrated from github.com)

this is not new, so pushing to 1.6.0

this is not new, so pushing to 1.6.0
kilograham commented 2023-05-30 16:53:51 -05:00 (Migrated from github.com)

Actually now I remember what this means; i will fix it!

Actually now I remember what this means; i will fix it!
kilograham commented 2023-06-02 13:23:27 -05:00 (Migrated from github.com)

merged into develop

merged into develop
Sign in to join this conversation.
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
gh-raspberrypi/pico-sdk#1321
No description provided.