Re: [Maria-developers] feedback/review requested for fix to MySQL bug #45759