As an example see http://trac.sagemath.org/ticket/19029 . There seems to be no consensus in int vs. Integer thing. Let the ticket be buried? Restart the discussion? Close the ticket as wontfix?
-- Jori Mäntysalo
There are some tickets that are open and kind of waiting input from this
list, but the discussion has ended months ago. What should be done to
them?
