Commit 3dc6338012b25c5e1ddc4140ae397dc65758de60

Thomas de Grivel 2025-10-31T18:23:18

config.subr: fix config_openmp