On 2020-05-28 17:07:46 +0900, Michael Paquier wrote:
> Please note that I would still wait for their next GA release to plug
> in any extra holes at the same time. @Jesse: or is this change
> actually part of the upcoming 10.0.1?
Why? I plan to just commit this change now.