Skip to content

Add bors to project-stable-mir#1

Merged
celinval merged 1 commit into
celinval:masterfrom
oli-obk:patch-5
Sep 27, 2023
Merged

Add bors to project-stable-mir#1
celinval merged 1 commit into
celinval:masterfrom
oli-obk:patch-5

Commits

Commits on Sep 27, 2023