add build.os config for readthedocs #967
Merged
DCO / DCO
succeeded
Aug 16, 2023 in 0s
DCO
Commit sign-off was manually approved.
Loading