severity 786566 serious thanks This schroot issue is affecting our debian.org porterboxes, and it affects other users (e.g. torproject.org build environment) where more than one chroot is being used at a time.
We really should fix this for stretch.
--
| .''`. ** Debian **
Peter Palfrader | : :' : The universal
https://www.palfrader.org/ | `. `' Operating System
| `- https://www.debian.org/
