7904175: Empty option value can crash jextract#303

nizarbenalla wants to merge 1 commit intoopenjdk:masteropenjdk/jextract:masterfrom

nizarbenalla:7904175nizarbenalla/jextract:7904175Copy head branch name to clipboard