When may I close a 5.1.1 PR?

[Michael Elizabeth Chastain]

So last week I filed this PR:

  http://sources.redhat.com/cgi-bin/gnatsweb.pl?database=gdb&cmd=view&pr=334

This is a test failure in 5.1.1, but it is fixed in gdb HEAD (the mainline).

As a general question, when is a good time to close a PR that is fixed
in the mainline but not in the 5.1 branches:

  . after gdb 5.2 is released?
  . after gdb 5.2 is branched?
  . as soon as the bug is fixed in mainline?

I'll be happy to do whatever the voices in my mailbox tell me.  :)

Michael C