tree 9bc52dcc7f419b70b55d78680818e1bc61605b91
parent d995cbce0f1e9454fdfe467e47c2423aa5217fd3
author Jussi Pakkanen <jpakkane@gmail.com> 1740134750 +0200
committer Jussi Pakkanen <jpakkane@gmail.com> 1740134750 +0200

Permit all unknown b_ options.

Closes #14254.