]> git.proxmox.com Git - debcargo-conf.git/commitdiff
Merge branch 'pending-grcov'
authorSylvestre Ledru <sylvestre@debian.org>
Tue, 22 Jan 2019 15:59:23 +0000 (16:59 +0100)
committerSylvestre Ledru <sylvestre@debian.org>
Tue, 22 Jan 2019 15:59:23 +0000 (16:59 +0100)

Trivial merge