Skip to content

nextpnr-unstable: unstable-2023-10-14 -> unstable-2023-10-29#253

Merged
github-actions[bot] merged 1 commit intomainfrom auto-update/nextpnr-unstableOct 29, 2023