id	summary	reporter	owner	description	type	status	component	version	resolution	keywords	cc	guest	host
13729	W7x64 don't see 64 bit options	JoseQuintas		"I have 2 machines using W7 64bits.
In one, ok, Virtualbox show 32 and 64 bits options
In another, Virtualbox show only 32 bits options
"	defect	closed	other	VirtualBox 4.3.20	obsolete			all	Windows