On Thu, Mar 26, 2020 at 03:06:34PM +0100, Magnus Hagander wrote:> That seems obvious enough. Pushed, thanks!
Thanks for the fix.--Michael