Index: wp-admin/includes/user.php
===================================================================
--- wp-admin/includes/user.php	(revision 17347)
+++ wp-admin/includes/user.php	(working copy)
@@ -282,7 +282,7 @@
 
 		if ( $post_ids ) {
 			foreach ( $post_ids as $post_id )
-				wp_delete_post($post_id);
+				wp_delete_post($post_id, true);
 		}
 
 		// Clean links