diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-09 16:28:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-09 16:28:19 +0100 |
| commit | bd0c40d05197aee3b7257d1954a7061a4a272e6b (patch) | |
| tree | db69347ac6345b07e37977c6d89bdf94dd853ebe /servers | |
| parent | 8a318fe1dd201dfecb26e1110df53c09864afd91 (diff) | |
| parent | 5af5c86ebc52f4f9d4b2ce46a0cc134b4273f122 (diff) | |
Merge pull request #43413 from akien-mga/ci-warnings-extra
CI: Build with warnings=extra to catch 'em all
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions