I noticed that 2 days ago that this ticket was marked "stale".
But the issue is still here (I checked just now), and it reminded me I
had a patch for it I forgot to submit, so I attached the patch file to
Since I'm still new on this, can someone please point me the right
procedure ? Should I have opened a new ticket ? Should I have changed
the tags associated to the ticket (I don't know how to do it) ?
Any help appreciated.