Processing commands for control@bugs.debian.org: > close 930501 Bug #930501 [src:linux] Backport VMW_PVRDMA PPN64 patch Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 930501: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=930501 Debian Bug Tracking System Contact owner@bugs.debian.org with problems