Skip to content

Maintaining: remove obsolete bors section#20176

Merged
benpicco merged 1 commit intoRIOT-OS:masterfrom OlegHahm:pr/maintaining.md/remove_borsDec 13, 2023

Commits

Commits on Dec 13, 2023