On Wed, Nov 28, 2018 at 10:00:00AM +0900, Michael Paquier wrote:> Okay, no problem with that.
Both things have been committed, but not back-patched.--Michael