On Wed, Jun 24, 2015 at 08:15:35PM +0200, Andreas Henriksson wrote: > I'm attaching a patch with a naive implementation of the > suggestion made by Guillem Jover to compare mountinfo in > case anyone finds it useful.
Looks reasonable. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org