that pin merged 20 mins ago so we need logs newer than those in comment #3 to confirm it.
we (talking with chkumar now in irc) will post a test in a bit and add here
that pin merged 20 mins ago so we need logs newer than those in comment #3 to confirm it.
we (talking with chkumar now in irc) will post a test in a bit and add here