tree a7ddeb764859571901b4dea02e8583fc4e9d80b9
parent 0b41b364be716064285928c00330d1fc6b07cd88
author Jussi Pakkanen <jpakkane@gmail.com> 1734348555 +0200
committer Jussi Pakkanen <jpakkane@gmail.com> 1734348555 +0200

Handle top level options set in subprojects. Closes #13847.