Yes. The bug was closed before I had applied the second patch because I was
waiting for confirmation from the committer who wrote the code I was
changing.

On Fri, 20 May 2016 8:05 pm Paul Eggert, <eggert@cs.ucla.edu> wrote:

> On 05/20/2016 03:20 PM, John Wiegley wrote:
> > Hi Artur; to which bug does this change refer?
>
> Bug#22440, undoubtedly, though it's a bit convoluted....
>
>