Add --enable-option-checking=fatal to configure flags#1079
Merged
yosifkit merged 1 commit intodocker-library:masterfrom May 17, 2023
--enable-option-checking=fatal to configure flags#1079