]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
projects / thirdparty / knot-resolver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d939dd3 9d46dce)
Merge branch 'warn-pedantic-ci' into 'master'
authorTomas Krizek <tomas.krizek@nic.cz>
Tue, 8 Jan 2019 13:23:06 +0000 (13:23 +0000)
committerTomas Krizek <tomas.krizek@nic.cz>
Tue, 8 Jan 2019 13:23:06 +0000 (13:23 +0000)
CI: enforce -Wpedantic

See merge request knot/knot-resolver!743


Trivial merge
Mirror of https://gitlab.nic.cz/knot/knot-resolver.git