Processing commands for control@bugs.debian.org: > close 1072097 Bug #1072097 [src:linux] nfs-common: NFS mounted share via DNS name crashed OS kernel Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 1072097: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1072097 Debian Bug Tracking System Contact owner@bugs.debian.org with problems