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