<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Jun 2, 2014 at 1:10 PM, Stefan Marr <span dir="ltr"><<a href="mailto:smalltalk@stefan-marr.de" target="_blank">smalltalk@stefan-marr.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
Hi Eliot:<br>
<div class=""><br>
On 02 Jun 2014, at 22:02, Eliot Miranda <<a href="mailto:eliot.miranda@gmail.com">eliot.miranda@gmail.com</a>> wrote:<br>
<br>
> I've added those entries with this pull request: <a href="https://github.com/pharo-project/pharo-vm/pull/49" target="_blank">https://github.com/pharo-project/pharo-vm/pull/49</a><br>
><br>
> What's the easiest way to convert a pull request into either<br>
> a) a diff which can be used with patch?<br>
<br>
</div>GitHub magic:<br>
<br>
<a href="https://github.com/pharo-project/pharo-vm/pull/49.diff" target="_blank">https://github.com/pharo-project/pharo-vm/pull/49.diff</a><br>
<br>
or<br>
<br>
<a href="https://github.com/pharo-project/pharo-vm/pull/49.patch" target="_blank">https://github.com/pharo-project/pharo-vm/pull/49.patch</a><br>
<br>
as you like.<br></blockquote><div><br></div><div>fab, thanks!</div><div><br></div></div>-- <br>best,<div>Eliot</div>
</div></div>