On Mon, Jun 2, 2014 at 1:10 PM, Stefan Marr <smalltalk@stefan-marr.de> wrote:

Hi Eliot:

On 02 Jun 2014, at 22:02, Eliot Miranda <eliot.miranda@gmail.com> wrote:

> I've added those entries with this pull request: https://github.com/pharo-project/pharo-vm/pull/49
>
> What's the easiest way to convert a pull request into either
> a) a diff which can be used with ��patch?

GitHub magic:

https://github.com/pharo-project/pharo-vm/pull/49.diff

or

https://github.com/pharo-project/pharo-vm/pull/49.patch

as you like.

fab, thanks!

--
best,
Eliot