On Mon, Aug 31, 2020 at 11:18:55AM +0900, Michael Paquier wrote:> Indeed, there is no fix in the code tree. Alvaro? If there is no> update, I'll go fix that myself.
For the archives: this has been done with 97dc0d1.
(Thanks, Alvaro!)--Michael