On Thu, May 21, 2020 at 09:32:55AM +0900, Michael Paquier wrote:
> Thanks for the input, Robert. So, even if we are post-beta1 it looks
> like there are more upsides than downsides to get that stuff done
> sooner than later. I propose to get that applied in the next couple
> of days, please let me know if there are any objections.
Hearing nothing, done. Thanks all for the discussion.
--
Michael