2011/08/03 12:31  wlallemand@wlallemand-desktop

	* released sudo-1.7.2p7-flx1.2
	* x86_64

2010/12/06 16:35  emeric@ebr-laptop

	* released sudo-1.7.2p7-flx1.1