On Thu, Jan 19, 2012 at 5:30 PM, Dieter BSD <dieterbsd at engineer.com> wrote: > One problem is PRs that are closed without being fixed. Some of these > are legitimate (dups, submitter error, already fixed in newer release, ...) > but some shouldn't have been closed. Please let me know which ones shouldn't have been closed. -- Eitan Adler