Skip to content

Use custom targets for kernel#395

Merged
bors[bot] merged 1 commit intohermit-os:masterfrom mkroening:custom-targetsMar 24, 2022

Commits

Commits on Mar 23, 2022