id Summary Status Cc Owner Type Priority 327 local/mixed monomial orderings over ground rings new anne@…, ren decker proposed feature minor