Patch for PR c/12373

[Eric Botcazou]

> Maybe we can have some machinery to automatically unassign/ping an
> assigned bug if it doesn't get any update in a certain amount of time (say
> 2-3 months). Either that, or Bugmasters can do that manually, checking PR
> by PR, in case there are some specific exceptions. Would this help?

Maybe.  You would have to take into account the criticality and the target 
milestone.  But I think it is primarily the responsability of the assignee 
to unassign PRs he doesn't plan to work on.

-- 
Eric Botcazou