Bug number - 914204

1
2
3
4
5
6
7
8

Debian Bug report logs -  #914204 buildd.debian.org: buildd chroots should not have merged /usr for now
Package:      buildd.debian.org; Maintainer for buildd.debian.org is Debian Buildd Team <wb-team@buildd.debian.org>;
Reported by: Simon McVittie <smcv@debian.org>
Date: Tue, 20 Nov 2018 16:27:01 UTC
Severity: serious
Tags: patch
Done: Julien Cristau <jcristau@debian.org>
Bug is archived. No further changes may be made.