id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
1451	interrupts-enabled vs disable-interrupts	felix winkelmann		We have both declarations, with the former usable in a `(not ...)` form. We should reduce these to a single one. 	task	closed	minor	5.0	compiler	4.13.0	fixed			trivial