]> 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: b2b7d9f ddf2d78)
Merge !1408: ci: drop `doc`; we have `pages` instead now
authorVladimír Čunát <vladimir.cunat@nic.cz>
Tue, 13 Jun 2023 13:41:08 +0000 (15:41 +0200)
committerVladimír Čunát <vladimir.cunat@nic.cz>
Tue, 13 Jun 2023 13:41:08 +0000 (15:41 +0200)

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