Permit underscores after single-letter extensions#198

Wren6991 wants to merge 1 commit intoriscv-software-src:devriscv-software-src/riscv-config:devfrom

Wren6991:patch-1Wren6991/riscv-config:patch-1Copy head branch name to clipboard