there is already a bug report concerning this: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=295218 |
there is already a bug report concerning this: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=295218
another workaround could be to add 127.0.0.1 as nodev, but it didn't test this yet |