. # -------------------------------------------------------- # $Id: bug_monitor_list_view_inc.php,v 1.16.2.1 2007-10-13 22:32:43 giallu Exp $ # -------------------------------------------------------- ?>
'; ?>

	0) ? ', ' : ''; echo print_user( $row['user_id'] ); } ?>