Skip to content

fix ./configure --set change-id#119294

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:configure-change-id
Dec 26, 2023
Merged

fix `./configure --set change-id`#119294
bors merged 1 commit intorust-lang:masterfrom
jyn514:configure-change-id

Commits

Commits on Dec 25, 2023