id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	blockedby	blocking	branch_state	votes
4032	Remove --configure-options command line argument	jpew		The `--configure-options` command line argument causes problems for reproducible builds as described in #4031. The option was added in response to #2495, but is providing more than is required for that change; the `-F` option is all that is necessary to provided the requests configured paths.	defect	closed	major		mc-core	master	wontfix		egmont			no branch