#277: [scripts] inner_source_chroot_update: checking /proc and /dev/pts here is useless

This commit is contained in:
Fabio Erculiani
2011-09-05 07:44:21 +02:00

Submodule commit.ref updated: 9583ba9b22...d8438826eb