diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-12-23 13:06:30 +0000 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-12-23 13:06:30 +0000 |
| commit | 25f9d9480fb61e0dd860560d46d8d433565aeb01 (patch) | |
| tree | c93f47d38fe58c92db824c2ffa428fd603382be6 /config/grub/patches/0001-borderfix/0001-mitigate-grub-s-missing-characters-for-borders-arrow.patch | |
| parent | e0fee7a4375f92f0540d9fc36f1529ab2049dad9 (diff) | |
git/pico-serprog: update revision again
riku committed a new patch, that fixes build errors
when PICO_DEFAULT_LED_PIN is not defined, on a given
board. in such cases, riku's new patch just disables
handling of the status LED, but LEDs continue to work
on boards where it is defined.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/grub/patches/0001-borderfix/0001-mitigate-grub-s-missing-characters-for-borders-arrow.patch')
0 files changed, 0 insertions, 0 deletions