[buildd-tools-devel] Processed: Re: Bug#794471: schroot: /dev is not mounted if profile=sbuild

[Debian Bug Tracking System]

Processing control commands:

> tag -1 + moreinfo
Bug #794471 [schroot] schroot: /dev is not mounted if profile=sbuild
Added tag(s) moreinfo.

-- 
794471: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=794471
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems