tree 57c6e56cb708a059345544005820cb3dd5e2e567
parent d37d649b08b832d52fa684bc0506829fb40d5261
author Jussi Pakkanen <jpakkane@gmail.com> 1739617150 +0200
committer Jussi Pakkanen <jpakkane@gmail.com> 1739617150 +0200

Permit more missing b options. Closes #14254.