On Mon, Aug 26, 2019 at 8:58 AM Jeff Moyer <jmoyer(a)redhat.com> wrote:
Dan, we should probably fix this before 5.3 ships. Do you have any
concerns with the patch I attached? If not, I'll submit a proper one.
I took a look. No concerns from me. Yeah, send a proper one and I'll
get it queued for v5.3.