diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-10-22 13:32:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-22 13:32:40 +0200 |
commit | baec2445e1dc1604518ab607d0135f52ead9cb8c (patch) | |
tree | 9686b9f7a276f4fe31d7eb0e99bbfe3c83b66dcc /core | |
parent | 003ee8b7c24a4ef4d10efc7f22cc7c4541ab7730 (diff) | |
parent | e18a9a2224c1518308839d8e64a45fff0232903f (diff) |
Merge pull request #42997 from akien-mga/ci-release-no-debug-symbols
CI: Set debug_symbols=no for template builds
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions