On Thu, May 23, 2019 at 3:43 AM Michael Paquier <michael@paquier.xyz> wrote:
On Tue, May 21, 2019 at 05:24:57PM +0900, Michael Paquier wrote: > Good catch. Your cleanup looks correct to me. Andres, perhaps you > would prefer doing the cleanup yourself?
As I am cleaning up the area for another issue, applied. -- Michael