<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"><div dir="ltr"><br></div><div dir="ltr">Hi Woodley, </div><div dir="ltr"><br></div><div dir="ltr"><blockquote type="cite"><span style="caret-color: rgb(5, 5, 5); color: rgb(5, 5, 5); background-color: rgb(255, 255, 255);">I was able to confirm that with the escaped backslashes, I get the segmentation fault and without, I do not. I suspect this is a bug in </span><code style="box-sizing: border-box; font-size: 14.449999809265137px; font-family: var(--code-font); padding: 0.2em 0.4em; margin: 0px; border-top-left-radius: 6px; border-top-right-radius: 6px; border-bottom-right-radius: 6px; border-bottom-left-radius: 6px; caret-color: rgb(5, 5, 5); color: rgb(5, 5, 5);">repp</code><span style="caret-color: rgb(5, 5, 5); color: rgb(5, 5, 5); background-color: rgb(255, 255, 255);"> that we should file with Woodley.</span></blockquote></div><div dir="ltr"><br></div><div dir="ltr">https://github.com/delph-in/homebrew-delphin/issues/1</div><div dir="ltr"><br></div><div dir="ltr">Not sure how easy is to fix this.. </div><br>Alexandre <br><div dir="ltr">Sent from my iPhone</div> </div></body></html>