<!DOCTYPE html>
<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 Sep 2019, at 9:29, Allan Odgaard wrote:</p>
<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">But now I submitted a patch for brew: <a href="https://github.com/Homebrew/homebrew-core/pull/44624" style="color:#777">https://github.com/Homebrew/homebrew-core/pull/44624</a></p>
</blockquote><p dir="auto">Someone commented on the PR that this should be an upstream option set during install.</p>
<p dir="auto">I’m not sure what Jason thinks about that, since it would require introducing a bunch of new code to allow what they propose.</p>
</div>
</div>
</body>
</html>