<!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 25 May 2018, at 20:07, jason wrote:</p>
<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">Indeed, that works. Can we get a proper patch into master for this?</p>
</blockquote><p dir="auto">This has now been pushed to master: <a href="https://github.com/textmate/textmate/commit/ae470335a234e336c3d0337f065e26b29751e668" style="color:#3983C4">https://github.com/textmate/textmate/commit/ae470335a234e336c3d0337f065e26b29751e668</a></p>
</div>
</div>
</body>
</html>