https://issues.apache.org/bugzilla/show_bug.cgi?id=56735
Nick Burch <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #4 from Nick Burch <[email protected]> --- Thanks for this, patch applied in r1613246. If you could review and close the GitHub pull request, that'd be great! -- You are receiving this mail because: You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
