local-nocheck-installed-headers
authorGNU Libc Maintainers <debian-glibc@lists.debian.org>
Sun, 14 Jan 2018 10:24:48 +0000 (10:24 +0000)
committerAurelien Jarno <aurel32@debian.org>
Sun, 14 Jan 2018 10:24:48 +0000 (10:24 +0000)
commit4dcd626b5a6c631442c49b579811c2436b67c657
tree38ce40e1bc78aa00a27c8463bf073b7dfafbacea
parentf057ecfc88a3ebccbcc802f035d151fc72b9e4cd
local-nocheck-installed-headers

===================================================================

Gbp-Pq: Topic hurd-i386
Gbp-Pq: Name local-nocheck-installed-headers.diff
scripts/check-installed-headers.sh