On Sun, 10 Feb 2002, Michael Elizabeth Chastain wrote: > 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: Can't you add a comment that it's fixed in mainline, and then close it?