id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
15692	Notice in confirm_delete_users()	ocean90		"
{{{
Notice: Undefined property: WP_User::$user_id in /Users/Dominik/Sites/WordPress/Trunk/wp_ms/wp-admin/network/edit.php on line 60
}}}

Is should be $user->id. But we can remove it, because the in_array check with $allusers is enough, it includes all the ID's.
"	defect (bug)	closed	normal	3.1	Warnings/Notices	3.1	normal	fixed	has-patch