On Wed, Jul 17, 2019 at 09:57:56AM +0200, Daniel Gustafsson wrote:> Agreed, better to just remove the sentence altogether.
OK, applied. Thanks for the report.--Michael