Skip to content

chore: Allow any input for jvm versions in bug report template#5176

Merged
MartinWitt merged 1 commit intoINRIA:masterfrom SirYwell:chore/bug-template-jvm-versionApr 13, 2023
+2-10

Commits

Commits on Apr 12, 2023