<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8"> </head> <body> <div style="font-family:sans-serif"><div style="white-space:normal"><p dir="auto">On 27 Oct 2018, at 20:47, Jacob Carlborg wrote:</p> <blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">I’ll give it a try, thanks.</p> </blockquote><p dir="auto">Turns out I was mistaken in how the default pattern is used, so I introduced an explicit setting in rc.14 (see release notes).</p> </div> </div> </body> </html>